marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/marionnet/trunk] Rev 445: Added a better exit management. Now Marionnet kills all its descendance of processes when exiting...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Thu, 21 Nov 2013 18:21:27 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 445
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: marionnet
timestamp: Thu 2013-11-21 19:12:17 +0100
message:
  Added a better exit management. Now Marionnet kills all its descendance of processes when exiting. Furthermore, it kills all orphans, i.e. processes that were be launched by a virtual machine (for instance `m1# xeyes &') and not correctly killed when this machine (kernel) exited. Also, when Marionnet receives a CTRL-C from the terminal (signal no. 2), it reacts as when the user clicks on the window's close button.
added:
  descendants_monitor.ml
  descendants_monitor.mli
modified:
  gui/ledgrid_manager.ml
  log.ml
  marionnet.ml
  state.ml
  x.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