New issue 19: Correct cleanup of dead server instances
https://bitbucket.org/ouroboros-rina/ouroboros/issues/19/correct-cleanup-of-dead-server-instances
dimitri staessens:
Make sure that instances are cleared when they die.
The following should work:
autostart server / kill server / irmd again autostarts server
Responsible: dstaesse