> 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
--
http://mail.python.org/mailman/listinfo/python-list
