Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision e018546aafb0ce24c3e3db6ffb7518153d7f9494)
+++ 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
+	}
 }
Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision e018546aafb0ce24c3e3db6ffb7518153d7f9494)
+++ Jenkinsfile	(revision bd502053d936b332513b3ec4e728cd3f922f4432)
@@ -226,24 +226,26 @@
 //Standard build email notification
 def email(boolean log) {
-	//Since tokenizer doesn't work, figure stuff out from the environnement variables and command line
-	//Configurations for email format
-	echo 'Notifying users of result'
-
-	def project_name = (env.JOB_NAME =~ /(.+)\/.+/)[0][1].toLowerCase()
-	def email_subject = "[${project_name} git][BUILD# ${env.BUILD_NUMBER} - ${currentBuild.result}] - branch ${env.BRANCH_NAME}"
-	def email_body = """<p>This is an automated email from the Jenkins build machine. It was
-generated because of a git hooks/post-receive script following
-a ref change which was pushed to the C\u2200 repository.</p>
-""" + Tools.GitLogMessage()
-
-	def email_to = !Settings.IsSandbox ? "cforall@lists.uwaterloo.ca" : "tdelisle@uwaterloo.ca"
-
-	if( Settings && !Settings.Silent ) {
-		//send email notification
-		emailext body: email_body, subject: email_subject, to: email_to, attachLog: log
-	} else {
-		echo "Would send email to: ${email_to}"
-		echo "With title: ${email_subject}"
-		echo "Content: \n${email_body}"
+	node {
+		//Since tokenizer doesn't work, figure stuff out from the environnement variables and command line
+		//Configurations for email format
+		echo 'Notifying users of result'
+
+		def project_name = (env.JOB_NAME =~ /(.+)\/.+/)[0][1].toLowerCase()
+		def email_subject = "[${project_name} git][BUILD# ${env.BUILD_NUMBER} - ${currentBuild.result}] - branch ${env.BRANCH_NAME}"
+		def email_body = """<p>This is an automated email from the Jenkins build machine. It was
+	generated because of a git hooks/post-receive script following
+	a ref change which was pushed to the C\u2200 repository.</p>
+	""" + Tools.GitLogMessage()
+
+		def email_to = !Settings.IsSandbox ? "cforall@lists.uwaterloo.ca" : "tdelisle@uwaterloo.ca"
+
+		if( Settings && !Settings.Silent ) {
+			//send email notification
+			emailext body: email_body, subject: email_subject, to: email_to, attachLog: log
+		} else {
+			echo "Would send email to: ${email_to}"
+			echo "With title: ${email_subject}"
+			echo "Content: \n${email_body}"
+		}
 	}
 }
