Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision c3d048c30e5155e5991e6644478b22f70dd89116)
+++ Jenkinsfile	(revision 24ed606e0138bb47eacb98cd3bc9fae252aac58c)
@@ -174,5 +174,5 @@
 
 def notify_server(int wait) {
-	sh """curl --silent --data "wait=${wait}" -X POST http://plg2:8082/jenkins/notify > /dev/null || true"""
+	sh """curl --data "wait=${wait}" -X POST http://plg2:8082/jenkins/notify > /dev/null || true"""
 	return
 }
@@ -324,5 +324,5 @@
 
 		//Then publish the results
-		sh 'curl -H "Content-Type: application/json" --silent --data @bench.json http://plg2:8082/jenkins/publish > /dev/null || true'
+		sh 'curl -H \'Content-Type: application/json\' --data @bench.json http://plg2:8082/jenkins/publish > /dev/null || true'
 	}
 }