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}"
+		}
 	}
 }
