← Back to team overview

marionnet-dev team mailing list archive

[Branch ~marionnet-drivers/marionnet/trunk] Rev 446: Major changes and improvements, especially in the module `Simulation_level', for managing the ter...

 

------------------------------------------------------------
revno: 446
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: marionnet
timestamp: Sun 2013-12-22 21:08:44 +0100
message:
  Major changes and improvements, especially in the module `Simulation_level', for managing the termination of virtual machines (uml_process). Now we call the Ocamlbricks's function `Linux.Process.kill_descendants' to kill the whole descendance of a recalcitrant VM. Furthermore, the workaround periodically restarting wirefilters has been definitively removed, in order to eliminate this kind of dangerous thread synchronizations. Finally, all calls to `Log.printf' have been replaced by calls to `Log.printf<N>' (where N is the number of actuals following the format), according to the new and safe implementation of the module `Log' in Ocamlbricks.  Requires Ocamlbricks revno 390.
removed:
  signals.ml
added:
  version.mli
modified:
  cable.ml
  cloud.ml
  cow_files.ml
  daemon_client.ml
  daemon_language.ml
  death_monitor.ml
  descendants_monitor.ml
  disk.ml
  gettext.ml
  gui/gui_menubar_MARIONNET.ml
  gui/ledgrid_manager.ml
  gui/menu_factory.ml
  hub.ml
  initialization.ml
  log.ml
  machine.ml
  marionnet-daemon.ml
  marionnet.ml
  motherboard_builder.ml
  po/messages.pot
  progress_bar.ml
  router.ml
  simulation_level.ml
  simulation_level.mli
  state.ml
  switch.ml
  task_runner.ml
  treeview.ml
  treeview_defects.ml
  treeview_documents.ml
  treeview_history.ml
  treeview_ifconfig.ml
  user_level.ml
  world_bridge.ml
  world_gateway.ml
  x.ml
  xforest.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