Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
test++ (turning off a host on which an actor is doing a recv should
authorhenricasanova <henric@hawaii.edu>
Wed, 3 Apr 2019 19:25:39 +0000 (09:25 -1000)
committerhenricasanova <henric@hawaii.edu>
Wed, 3 Apr 2019 19:25:39 +0000 (09:25 -1000)
terminate that actor and just have it execute its on_exit() function).


No differences found