modifs.mineures sans commentaires

wip/app/cli/Application.php

@@ -83,22 +83,40 @@ abstract class Application {
   /** @var bool faut-il installer le gestionnaire de signaux? */
   const INSTALL_SIGNAL_HANDLER = false;
 
+  private static function _info(string $message, int $ec=0): int {
+    fwrite(STDERR, "INFO: $message\n");
+    return $ec;
+  }
+
   private static function _error(string $message, int $ec=1): int {
     fwrite(STDERR, "ERROR: $message\n");
     return $ec;
   }
 
-  static function _manage_runfile(int $argc, array $argv, RunFile $runfile): void {
+  static function _manage_runfile(int &$argc, array &$argv, RunFile $runfile): void {
     if ($argc <= 1 || $argv[1] !== "//") return;
-    array_splice($argv, 1, 1);
+    array_splice($argv, 1, 1); $argc--;
     $ec = 0;
     switch ($argv[1] ?? "infos") {
+    case "help":
+      self::_info(<<<EOT
+kill
+release
+infos
+dump
+reset
+
+EOT);
+      break;
+    case "start":
+    case "s":
+      array_splice($argv, 1, 1); $argc--;
+      return;
     case "kill":
     case "k":
       if ($runfile->isRunning()) $runfile->wfKill();
       else $ec = self::_error("not running");
       break;
-    case "release-lock":
     case "release":
     case "rl":
       $runfile->release();