Re: gnu linux update question

[Peter G.]

Andrew Haley wrote:
> How could it be otherwise?

If a file has been deleted, the proper thing would be for the running process 
to read the new copy into memory.