On Sat, 2002-10-26 at 17:58, Jason Hildebrand wrote:
> On Sat, 2002-10-26 at 17:37, Ian Bicking wrote:
> > Just a quick thought -- it might be easier to put this into the
> > AppServer script, and say if Launch.py exits with a certain error code
> > it will restart the AppServer (instead of just exiting). Then the
> > process fully exits, and all files will be cleaned up by the OS. I'm
> > pretty sure AppServer.bat could do this too (somehow... despite the
> > lameness of batch programming).
> This idea occurred to me, too. The only drawback to this is that the
> PID change would change all the time, but maybe that's not a problem.
But the PID of the AppServer script should remain, right? If you want
to stop the AppServer, couldn't you still kill that PID (and then the
child PID that is the actual AppServer will be killed along with