diff --git a/src/app/RunFile.php b/src/app/RunFile.php index 531a7ec..151a74f 100644 --- a/src/app/RunFile.php +++ b/src/app/RunFile.php @@ -59,12 +59,18 @@ class RunFile { return $data; } - /** tester si l'application est démarrée */ - function isStarted(): bool { + /** tester si l'application a déjà été démarrée */ + function wasStarted(): bool { $data = $this->read(); return $data["date_start"] !== null; } + /** tester si l'application est démarrée et non arrêtée */ + function isStarted(): bool { + $data = $this->read(); + return $data["date_start"] !== null && $data["date_stop"] === null; + } + /** * vérifier si la tâche tourne et est accessible */ @@ -90,15 +96,22 @@ class RunFile { return true; } - /** tester si l'application est arrêtée */ - function isStopped(): bool { + /** tester si l'application est déjà été stoppée */ + function wasStopped(): bool { $data = $this->read(); return $data["date_stop"] !== null; } + /** tester si l'application a été démarrée puis arrêtée */ + function isStopped(): bool { + $data = $this->read(); + return $data["date_start"] !== null && $data["date_stop"] !== null; + } + function haveWorked(int $serial, ?int &$currentSerial=null): bool { $data = $this->read(); - return $serial !== $data["serial"]; + $currentSerial = $data["serial"]; + return $serial !== $currentSerial; } protected function willWrite(): array {