From: Frederic Suter <frederic.suter@cc.in2p3.fr>
Date: Wed, 13 Feb 2019 16:42:44 +0000 (+0100)
Subject: fix github issue (#132)
X-Git-Tag: v3_22~333
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/cb346689abc948bdaff8666ce48d4eb6014dadea?hp=cb346689abc948bdaff8666ce48d4eb6014dadea

fix github issue (#132)

The Host.off() now throws a HostFailure exception if it captures that
an actor was ended by this action.  When a Java process wants to turn
off its own host (and thus die), it now has to catch a HostFailure
exception and the simulation can goes on.
---