HomeIsabelle/Phabricator

more robust message_context and shutdown, e.g. after errors in protocol loop…