------------------------------------------------------------
revno: 388
committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr>
branch nick: ocamlbricks
timestamp: Wed 2013-11-20 19:55:24 +0100
message:
Added in Linux.Process a quite sophisticated function to kill the whole
hierarchy (forest) of descendants of a process. By default the children are
processed concurrently (and recursively) using futures. The sequence of signals
send to each process (from leafs to root) are by default the following in this
order: Sys.sigterm, Sys.sigint, Sys.sigcont, Sys.sigkill. After each signal in
the sequence, we leave to the fathers the time (wait_delay) to register the
death of their children. The processes still alive are then recalculated and
the next signal is sent to the survivors and so on.
val kill_descendants :
?sequential:unit ->
?wait_delay:float ->
?wait_delay_node_increase_factor:float ->
?wait_delay_root_increase_factor:float ->
?node_max_retries:int ->
?root_max_retries:int ->
?signal_sequence:int list ->
?pid:int ->
unit -> unit
modified:
SHELL/linux.ml
SHELL/linux.mli
STRUCTURES/forest.ml
--
lp:ocamlbricks
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk
Your team marionnet-dev is subscribed to branch lp:ocamlbricks.
To unsubscribe from this branch go to
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/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
