Fix synchronizations problem to better track active actors
authorBlackMinou <romain.chanoir@viacesi.fr>
Mon, 8 May 2017 02:06:54 +0000 (22:06 -0400)
committerBlackMinou <romain.chanoir@viacesi.fr>
Wed, 31 May 2017 02:39:27 +0000 (22:39 -0400)
commitfd6627efd3571f27d31bc7a4fa3a4c43a102f1e4
treefd0e8d4b4b8c91a1e09d871d078f6715df06d4df
parent68c3326ec99112a9372302b5b081e53d671af141
Fix synchronizations problem to better track active actors

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>
lib/actors/actors.nit