| 
					
				 | 
			
			
				@@ -119,11 +119,12 @@ pipeline { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   post { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     always { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-      sh "docker stop ${CONTAINER_ID_CLIENT}" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-      sh "docker stop ${CONTAINER_ID_SERVER}" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-      sh "docker image rm ${DOCKER_IMAGE}:${SERIAL}" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       echo "CleaningUp work directory" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       deleteDir() 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+      sh """docker stop ${CONTAINER_ID_CLIENT} 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+            docker stop ${CONTAINER_ID_SERVER} 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+            docker image rm ${DOCKER_IMAGE}:${SERIAL} 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+         """ 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     failure { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       mail charset: 'UTF-8', 
			 |