ajouter id et pid à RunFile

2024-05-23 11:24:36 +04:00 · 2024-05-23 11:24:36 +04:00 · 5da28fc142
parent 090a54e307
commit 5da28fc142
1 changed files with 2 additions and 0 deletions
--- a/src/file/app/RunFile.php
+++ b/src/file/app/RunFile.php
@ -39,6 +39,8 @@ class RunFile {
    $dateStart = $withDateStart? new DateTime(): null;
    return [
      "name" => $this->name,
+      "id" => bin2hex(random_bytes(16)),
+      "pid" => posix_getpid(),
      "serial" => 0,
      "date_start" => $dateStart,
      "date_stop" => null,