diff --git a/src/app/launcher.php b/src/app/launcher.php index 5924340..c3d69cf 100644 --- a/src/app/launcher.php +++ b/src/app/launcher.php @@ -80,7 +80,7 @@ class launcher { return true; } else { ## child, fork ok - # Créer un groupe de process, pour pouvoir les tuer toutes en même temps + # Créer un groupe de process, pour pouvoir tuer tous les enfants en même temps $runfile->tm_startPg(); $logfile = $runfile->getLogfile() ?? "/tmp/nulib_app_launcher-_start.log"; $pid = posix_getpid();