Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision d9f2874a0c3686dccecc2a1f5b068411be530070)
+++ Jenkinsfile	(revision a2a00654e4dc7c508dcc7f8f2fc2ea521e1de0ef)
@@ -22,6 +22,4 @@
 		wrap([$class: 'TimestamperBuildWrapper']) {
 
-			notify_server(0)
-
 			Settings = prepare_build()
 
@@ -34,6 +32,4 @@
 				checkout()
 
-				notify_server(0)
-
 				build()
 
@@ -50,6 +46,4 @@
 			BuildDir  = pwd tmp: true
 			SrcDir    = pwd tmp: false
-
-			notify_server(45)
 		}
 	}
@@ -183,27 +177,11 @@
 
 		//Then publish the results
-		plot csvFileName: "cforall-${env.BRANCH_NAME}-compilation.csv",
-			csvSeries: [[file: "${BuildDir}/benchmark/compile.csv"]],
-			group: 'Compilation',
-			title: 'Compilation',
-			style: 'line'
-
-		plot csvFileName: 'cforall-${env.BRANCH_NAME}-ctxswitch.csv',
-			csvSeries: [[file: "${BuildDir}/benchmark/ctxswitch.csv"]],
-			group: 'Concurrency',
-			title: 'Context Switching',
-			style: 'line'
-
-		plot csvFileName: 'cforall-${env.BRANCH_NAME}-mutex.csv',
-			csvSeries: [[file: "${BuildDir}/benchmark/mutex.csv"]],
-			group: 'Concurrency',
-			title: 'Mutual Exclusion',
-			style: 'line'
-
-		plot csvFileName: 'cforall-${env.BRANCH_NAME}-signal.csv',
-			csvSeries: [[file: "${BuildDir}/benchmark/signal.csv"]],
-			group: 'Concurrency',
-			title: 'Internal and External Scheduling',
-			style: 'line'
+		do_plot('compile', 'Compilation', 'Compilation')
+
+		do_plot('ctxswitch', 'Concurrency', 'Context Switching')
+
+		do_plot('mutex', 'Concurrency', 'Mutual Exclusion')
+
+		do_plot('signal', 'Concurrency', 'Internal and External Scheduling')
 	}
 }
@@ -424,9 +402,4 @@
 }
 
-def notify_server(int wait) {
-	sh """curl --silent --show-error --data "wait=${wait}" -X POST https://cforall.uwaterloo.ca:8082/jenkins/notify > /dev/null || true"""
-	return
-}
-
 def make_doc() {
 	def err = null
@@ -443,2 +416,24 @@
 	}
 }
+
+def do_plot(String file, String group, String title) {
+	plot csvFileName: "cforall-${env.BRANCH_NAME}-${file}.csv",
+		csvSeries: [[
+			file: "${BuildDir}/benchmark/${file}.csv",
+			exclusionValues: '',
+			displayTableFlag: false,
+			inclusionFlag: 'OFF',
+			url: ''
+		]],
+		group: "${group}",
+		title: "${title}",
+		style: 'line',
+		exclZero: false,
+		keepRecords: false,
+		logarithmic: false,
+		numBuilds: '',
+		useDescr: false,
+		yaxis: '',
+		yaxisMaximum: '',
+		yaxisMinimum: ''
+}