In our logs, we have lots of lines like the following:
...which are entirely useless to us, because the logfile is shared by many Prince processes, and we have no way to tell which process is responsible for which "begin/end" block. A process ID on each line would actually make such a combined log useful.
Thanks!
Thu Jun 5 21:56:16 2014: ---- begin
Thu Jun 5 21:56:16 2014: Loading document...
Thu Jun 5 21:56:16 2014: Applying style sheets...
Thu Jun 5 21:56:16 2014: Preparing document...
Thu Jun 5 21:56:16 2014: Converting document...
Thu Jun 5 21:56:16 2014: finished: success
Thu Jun 5 21:56:16 2014: ---- end
...which are entirely useless to us, because the logfile is shared by many Prince processes, and we have no way to tell which process is responsible for which "begin/end" block. A process ID on each line would actually make such a combined log useful.
Thanks!