Killing A Process By PID

Arvind Singh arvind1.singh at
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...
URL: <>

More information about the Python-list mailing list