On Wed, May 19, 2004 at 11:19:27AM -0500, Jon Dugan wrote:
>     def kill_process(self,cmd):
>         os.kill(self.server_pid, 9)
>         return os.waitpid(self.server_pid,0)

That's a little brutal, don't you think?  You should probably start
with SIGTERM (15) before resorting to SIGKILL (9).

  Neil