------------------------------------------------------------
revno: 496
committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr>
branch nick: marionnet
timestamp: Wed 2017-06-14 17:00:01 +0200
message:
Some cosmetic changes in marionnet-daemon.ml, in order to make clearer the
dependencies among daemon-related modules ("open" removed). Also minor (?) bug
fixed in destroy_all_resources() : the code was not executed in a critical
section (due to a misplaced parentheses).
modified:
marionnet-daemon.ml
--
lp:marionnet
https://code.launchpad.net/~marionnet-drivers/marionnet/trunk
Your team marionnet-dev is subscribed to branch lp:marionnet.
To unsubscribe from this branch go to
https://code.launchpad.net/~marionnet-drivers/marionnet/trunk/+edit-subscription
_______________________________________________
Mailing list: https://launchpad.net/~marionnet-dev
Post to : marionnet-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~marionnet-dev
More help : https://help.launchpad.net/ListHelp
