On Jan 28, 1:11 pm, MRAB <goo...@mrabarnett.plus.com> wrote: > A hacky way of killing the processes would be for the processes to write > their process IDs to the log and then you can write another script which > will parse the log to get the process IDs and then kill the processes > with those IDs. (Left as an exercise for the reader.
Thank you MRAB. Your suggestion is very reasonable. I think I will do both. Try to reduce the chance of freeze-up and create a script to clean-up. Aki- -- http://mail.python.org/mailman/listinfo/python-list
