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
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
