Killing A Process By PID
arvind1.singh at gmail.com
Sat Sep 22 17:24:45 CEST 2007
> 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()/close()
> the file. Otherwise data may not get written until python interpreter exits.
> Isn't the file closed after the file().write()? Seems to me that the
> great garbage collector in the sky will happily flush(), close() and forget
> it ever happened...
Yes, the GC will flush()/close() the file properly. My mistake, sorry about
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Python-list