Killing A Process By PID

[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()/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
that.

-- 
Regards,
Arvind
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-list/attachments/20070922/9a773f47/attachment.html>