| 
					
				 | 
			
			
				@@ -57,6 +57,10 @@ pipeline { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				                 error('Unknown cluster') 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				           } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+          sh "set" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+          currentBuild.result = 'ABORTED' 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+          error ('Emergency stop') 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+ 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         echo "Building ${DOCKER_REGISTRY}/iru/${DOCKER_IMAGE}:${repo}-${BUILD_NUMBER}." 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         sh "docker build --build-arg repo=${repo} --no-cache -t ${DOCKER_REGISTRY}/iru/${DOCKER_IMAGE}:${repo}-${BUILD_NUMBER} ." 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         script { 
			 | 
		
	
	
		
			
				| 
					
				 | 
			
			
				@@ -77,7 +81,6 @@ pipeline { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       when { expression { service_update != "" } } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       steps { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         script { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-          sh "set" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				           for (String item : service_update.split()) { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				             try{ 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				                echo "Updating ${item}" 
			 |