HomeIsabelle/Phabricator

more robust interrupt handling as in Future.forked_results (amending…