Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove useless 2nd parameter "catch_block" for try_n_catch_stoprequest().