Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fix github issue (#132)
authorFrederic Suter <frederic.suter@cc.in2p3.fr>
Wed, 13 Feb 2019 16:42:44 +0000 (17:42 +0100)
committerFrederic Suter <frederic.suter@cc.in2p3.fr>
Wed, 13 Feb 2019 16:44:23 +0000 (17:44 +0100)
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.


No differences found