One of my production servers was down this morning, but instead of a PharoDebug.log file, all I found was a file called crash.dmp, with a minimum stack trace and no information about what caused the crash. Can someone tell me what this file is, and why the usual log file was not created?
-- ~JT
