correctly report pid when killing subprocess
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
		
					parent
					
						
							
								84e102eb29
							
						
					
				
			
			
				commit
				
					
						7b770b7b35
					
				
			
		
					 1 changed files with 2 additions and 1 deletions
				
			
		| 
						 | 
					@ -150,7 +150,8 @@ def configinstall(args, mode):
 | 
				
			||||||
    except KeyboardInterrupt:
 | 
					    except KeyboardInterrupt:
 | 
				
			||||||
        if args.parallel:
 | 
					        if args.parallel:
 | 
				
			||||||
            for p in process.keys():
 | 
					            for p in process.keys():
 | 
				
			||||||
                log.warn("Terminating deploy " + p + "(" + p.pid + ")")
 | 
					                pid = process[p].pid.__str__()
 | 
				
			||||||
 | 
					                log.warn("Terminating deploy " + p + " (" + pid + ")")
 | 
				
			||||||
                process[p].terminate()
 | 
					                process[p].terminate()
 | 
				
			||||||
 | 
					
 | 
				
			||||||
        sys.exit(0)
 | 
					        sys.exit(0)
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue