Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!decvax!ucbvax!GRINNELL.MAILNET!McGuire_Ed
From: McGuire_Ed@GRINNELL.MAILNET.UUCP
Newsgroups: mod.computers.vax
Subject: Re: A small horror story
Message-ID: <8701162045.AA17111@ucbvax.Berkeley.EDU>
Date: Thu, 15-Jan-87 13:33:00 EST
Article-I.D.: ucbvax.8701162045.AA17111
Posted: Thu Jan 15 13:33:00 1987
Date-Received: Sat, 17-Jan-87 01:44:24 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 13
Approved: info-vax@sri-kl.arpa

>It is always bad policy to delete an installed image file. . . .  You
>can only safely delete the file if its globals sections no longer show
>up as delete pending in an $ install list/glob.

As long as the file was installed /OPEN (which it was if it was
installed /SHARE) it shouldn't matter if you delete the disk file.  The
file ought to be flagged for deletion but not actually deleted until it
is closed, i.e. until the delete pending section is released by all
processes.

This has been my assumption so far, and nothing has broken as a
consequence.  Please set me straight if anyone has proof that deleting a
disk file corrupts the shared sections.