Index: Jenkins/TestRegen
===================================================================
--- Jenkins/TestRegen	(revision e39647e812819eeb107b4520e914823635c27bd1)
+++ Jenkins/TestRegen	(revision cb4bbb6de3060dfc3c911c1f4a0f4e1e4f3aff30)
@@ -33,5 +33,5 @@
 			email()
 		}
-	} 
+	}
 	catch (Exception caughtError) {
 		email_error()
@@ -65,5 +65,5 @@
 
 	def install_dir = pwd tmp: true
-		
+
 	//Configure the conpilation (Output is not relevant)
 	//Use the current directory as the installation target so nothing
@@ -101,5 +101,5 @@
 		def email_subject = "[cforall dashboard][TEST REGEN# ${env.BUILD_NUMBER}] - Result"
 		def email_body = """This is an automated email from the Jenkins build machine. It was
-generated http://plg2:8082/dashboard.
+generated https://cforall.uwaterloo.ca:8082/dashboard.html.
 
 Please apply the required changes using the following method :
@@ -118,5 +118,5 @@
 	def email_subject = "[cforall dashboard][TEST REGEN# ${env.BUILD_NUMBER}] - FAILURE"
 	def email_body = """This is an automated email from the Jenkins build machine. It was
-generated http://plg2:8082/dashboard.
+generated https://cforall.uwaterloo.ca:8082/dashboard.html.
 
 Test generation encoutered an error please see attached logs
