Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision fde808dfdf4799c5ad459043960e937f2ec95881)
+++ Jenkinsfile	(revision 1e44b60a7ea26e7d52088786350c78be011cdbf3)
@@ -41,4 +41,6 @@
 	catch (Exception caughtError) {
 		err = caughtError
+		log_needed = false
+		currentBuild.result = "FAILURE"
 
 		switch(stage) {
@@ -47,5 +49,4 @@
 				break
 			default :
-				currentBuild.result = "FAILURE"
 				break
 		}