Pascal Gloor

When piranha is shutdown (via init script) the dump file are left open. Piranha should create a disconnect event and close and rotate the file before shutting down. This should...