Protection against large log files

Hi Carlos,

We have recently introduced (5.29/02 and from 5.28/00c) the possibility to truncate the log files.
The directive is

xpd.putrc ProofServ.LogFileMaxSize 100M

The supported unit is {|K|M|G}.

It truncates before executing a command, so crash backtraces should not get truncated.
Keep in mind that it is quite new and experimental.
Let me know if you try.

Gerri