fbilsen wrote: > Seems to exit fine, no process left in System Monitor. Killing the server with the -k option consequently does not make a difference. Then it's one of those problems that really hard to find. It could be memory corruption, uninitialized memory access, race condition, etc.
