|Bill Allombert on Thu, 3 Oct 2002 22:38:07 +0200|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|Re: MPQS not cleaning up files|
On Thu, Oct 03, 2002 at 10:25:45PM +0200, Karim BELABAS wrote: > On Thu, 3 Oct 2002, Bill Allombert wrote: > > On Thu, Oct 03, 2002 at 01:09:05PM -0400, Igor Schein wrote: > >> I've done a restart before - very easy. I should still have Gerhard's > >> instructions. I'd rather leave the behavior unchanged for such cases > >> where it has run for too long to be wasted. > > > > I should add two things: > [...] > > 2) This is currently in the /tmp directory, which can be cleaned on reboot, so > > this offers no protections against system crash. > > Not exactly true. This is in what pari_tmp_dir() found most suitable, i.e by > order of decreasing priority: > > $GPTMPDIR > $TMPDIR > /tmp > /var/tmp If we support GPTMPDIR, we should as well support a default. Especially because putting gphelp files in /var/tmp is a waste. Cheers, Bill.