acarrillo/Cribble — Issue #9: Server does not always clean up shared memory
Author: DoronShapiro
Created: 2012-01-22 21:28:58+00:00
State: open
Labels: feature request

The main server process should call cleanup() before it exits to ensure that shared memory is freed. SIGSEGV and SIGINT, at the very least, should have handlers that call this function.

Implementation postponed, as signal handlers interfere with debugger functionality.