Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Simply finish the surf sleep action on process join.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 29 Sep 2017 21:00:56 +0000 (23:00 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 29 Sep 2017 21:28:27 +0000 (23:28 +0200)
It is much more simpler, and permits to kill the processes involved in join.

Fixes github bug #225.


No differences found