Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 26a63f012ff9b6be268002710f25c3c2da1865f1)
+++ Jenkinsfile	(revision 6599085fc13fc75cf8ccdbce20866b36ae0046d6)
@@ -166,5 +166,5 @@
 
 def notify_server() {
-	sh 'curl --data "" http://plg2:8082/jenkins/notify'
+	sh 'curl -X POST http://plg2:8082/jenkins/notify > /dev/null'
 	return
 }
@@ -277,5 +277,5 @@
 	stage 'Benchmark'
 
-		if( !do_bencmark ) return
+		if( !do_benchmark ) return
 
 		//Write the commit id to Benchmark