Re: Killing A Process By PID

2007-09-22 Thread Arvind Singh
> file('/var/lock/Application.lock', 'w').write(str(os.getpid())) > > > > Which to be honest appears to run just fine, when I look in that file > > it always contains the correct process ID, for instance, 3419 or something > > like that. > > > I honestly doubt that. The I/O is buffered and you nee

Re: Killing A Process By PID

2007-09-21 Thread Michael Bentley
On Sep 20, 2007, at 7:46 PM, Arvind Singh wrote: file('/var/lock/Application.lock', 'w').write(str(os.getpid())) Which to be honest appears to run just fine, when I look in that file it always contains the correct process ID, for instance, 3419 or something like that. I honestly doubt th

Re: Killing A Process By PID

2007-09-20 Thread Arvind Singh
file('/var/lock/Application.lock', 'w').write(str(os.getpid())) > > Which to be honest appears to run just fine, when I look in that file it > always contains the correct process ID, for instance, 3419 or something like > that. > I honestly doubt that. The I/O is buffered and you need to flush()/