Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision 5e64df8ec87cca7ec40a987e3f8bc7e197a58935)
+++ Jenkins/FullBuild	(revision bd502053d936b332513b3ec4e728cd3f922f4432)
@@ -144,31 +144,33 @@
 //Email notification on a full build failure
 def promote_email(boolean success) {
-	echo('notifying users')
+	node {
+		echo('notifying users')
 
-	def result = success ? "PROMOTE - SUCCESS" : "PROMOTE - FAILURE"
+		def result = success ? "PROMOTE - SUCCESS" : "PROMOTE - FAILURE"
 
-	//Since tokenizer doesn't work, figure stuff out from the environnement variables and command line
-	//Configurations for email format
-	def email_subject = "[cforall git][${result}]"
-	def email_body = """<p>This is an automated email from the Jenkins build machine. It was
-generated following the result of the C\u2200 nightly build.</p>
+		//Since tokenizer doesn't work, figure stuff out from the environnement variables and command line
+		//Configurations for email format
+		def email_subject = "[cforall git][${result}]"
+		def email_body = """<p>This is an automated email from the Jenkins build machine. It was
+	generated following the result of the C\u2200 nightly build.</p>
 
-<p>Check console output at ${env.BUILD_URL} to view the results.</p>
+	<p>Check console output at ${env.BUILD_URL} to view the results.</p>
 
-<p>- Status --------------------------------------------------------------</p>
+	<p>- Status --------------------------------------------------------------</p>
 
-<p>${result}</p>
+	<p>${result}</p>
 
-<p>- Performance ---------------------------------------------------------</p>
+	<p>- Performance ---------------------------------------------------------</p>
 
-<img src="https://cforall.uwaterloo.ca/jenkins/job/Cforall/job/master/plot/Compilation/getPlot?index=0" >
-<img src="https://cforall.uwaterloo.ca/jenkins/job/Cforall/job/master/plot/Compilation/getPlot?index=1" >
+	<img src="https://cforall.uwaterloo.ca/jenkins/job/Cforall/job/master/plot/Compilation/getPlot?index=0" >
+	<img src="https://cforall.uwaterloo.ca/jenkins/job/Cforall/job/master/plot/Compilation/getPlot?index=1" >
 
-<p>- Logs ----------------------------------------------------------------</p>
-"""
+	<p>- Logs ----------------------------------------------------------------</p>
+	"""
 
-	def email_to = "cforall@lists.uwaterloo.ca"
+		def email_to = "cforall@lists.uwaterloo.ca"
 
-	//send email notification
-	emailext body: email_body, subject: email_subject, to: email_to, attachLog: !success
+		//send email notification
+		emailext body: email_body, subject: email_subject, to: email_to, attachLog: !success
+	}
 }
