#25_the_case_when_the_prok_is_killed_by_a_signal
Call to exit() doesn't work; we have to find something else.
Prochaine maintenance programmée : lundi 01/07
Pour plus d'informations : https://doc-si.inria.fr/display/SU/Gitlab
Call to exit() doesn't work; we have to find something else.