On Thu, 23 Aug 2012, Gerwin Klein wrote: > left at least some information in the case of bad system crashes (e.g. > polyml bugs). This should work: when the process has terminated in any way, the log should appear. Where did you see it differently? Makarius