Derek Price writes: > > Since tag deletion is considered a relatively rare operation (as well it > should be), no one has ever bother to write the code for the expensive, > complete tag search that would be necessary to determine if the tag is > really completely gone and should really be deleted from val-tags.
It's not necessary -- since val-tags is just a cache, it would be safe to just delete it regardless. Of course, the first thing that needs to be done is to add some kind of locking for the val-tags file since there isn't any right now and the more we update it the better the chance of it getting corrupted by simultaneous updates. -Larry Jones I'm so disappointed. -- Calvin _______________________________________________ Info-cvs mailing list Info-cvs@gnu.org http://lists.gnu.org/mailman/listinfo/info-cvs
