Implemented the suggestion in [Bug 1347 (#1347)]: It's now possible to specify the debuglog location with --debug-log=... Rev: server/start:1.156