Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 75c566aedd9f79f5b786f0886e0296471b2edb71)
+++ Jenkinsfile	(revision 7823bf0dce26d637557920044ae6e2e5a1feee1f)
@@ -173,5 +173,5 @@
 
 def notify_server() {
-	sh 'curl --silent -X POST http://plg2:8082/jenkins/notify > /dev/null'
+	sh 'curl --silent -X POST http://plg2:8082/jenkins/notify > /dev/null || true'
 	return
 }
@@ -320,5 +320,5 @@
 
 		//Then publish the results
-		sh 'curl --silent --data @bench.csv http://plg2:8082/jenkins/publish > /dev/null'
+		sh 'curl --silent --data @bench.csv http://plg2:8082/jenkins/publish > /dev/null || true'
 }