| 
					
				 | 
			
			
				@@ -57,11 +57,11 @@ pipeline { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				           } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         echo "Docker ${DOCKER_HOST}, Registry ${DOCKER_REGISTRY}" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-/*        echo "Building ${DOCKER_REGISTRY}/iru/${DOCKER_IMAGE}:${repo}-${BUILD_NUMBER}." 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+        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} ." */ 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-/*    stage("Publish") { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+    stage("Publish") { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       steps { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         echo "Publishing ${DOCKER_REGISTRY}/iru/${DOCKER_IMAGE}:${repo}-${BUILD_NUMBER}" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         sh "docker push ${DOCKER_REGISTRY}/iru/${DOCKER_IMAGE}:${repo}-${BUILD_NUMBER}" 
			 | 
		
	
	
		
			
				| 
					
				 | 
			
			
				@@ -141,7 +141,7 @@ pipeline { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-*/  post { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+  post { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     always { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       echo "CleaningUp work diretory" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       deleteDir() 
			 |