Igor Schein on Fri, 9 Nov 2001 14:14:22 -0500

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

default log file


I have a suggestion to make a default log file to be pseudo-unique for
the session, for example pari<pid>.log.  This way you make a situation
where you're writing by mistake to the same pari.log file from 2
different machines much less likely to happen.