>>>>> "John" == John McCabe-Dansted <[EMAIL PROTECTED]> writes:
John> On 8/9/06, Jean-Marc Lasgouttes <[EMAIL PROTECTED]> wrote: >> If we use a different temp file each time, how do we know when we >> can delete it? John> What if we attempt to delete each old version of the temp file John> each time we create a new one? That way we do not proliferate John> old temp files unless we know they are still in use. John> Are there any cases (apart from the DVI viewer) where this would John> behave worse than the current situation? I think that if we try to be too clever, this is going to fire back on us in one way or another. JMarc
