gump-general mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From aj...@apache.org
Subject cvs commit: jakarta-gump/python/gump launcher.py
Date Tue, 14 Oct 2003 21:40:39 GMT
ajack       2003/10/14 14:40:39

  Modified:    python/gump launcher.py
  Log:
  Second try at pkill command [pkill -KILL -P {pid}]
  
  Revision  Changes    Path
  1.13      +2 -2      jakarta-gump/python/gump/launcher.py
  
  Index: launcher.py
  ===================================================================
  RCS file: /home/cvs/jakarta-gump/python/gump/launcher.py,v
  retrieving revision 1.12
  retrieving revision 1.13
  diff -u -r1.12 -r1.13
  --- launcher.py	13 Oct 2003 18:51:20 -0000	1.12
  +++ launcher.py	14 Oct 2003 21:40:39 -0000	1.13
  @@ -259,8 +259,8 @@
   
   def killChildren():
       pid=os.getpid()
  -    log.info('Kill all children for ' + str(pid))    
  -    os.system('pkill -P ' + str(pid) + ' -signal KILL')
  +    log.info('Kill all children (anything launched by Gumpy) [PID' + str(pid) + ']')  
 
  +    os.system('pkill -KILL -P ' + str(pid))
       
   #
   # Kill the children 
  
  
  

Mime
View raw message