From 19daaa28932a9961fa24e780519840fdbacb0b92 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 15 Jul 2024 17:35:12 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 nur_src/cli/Application.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nur_src/cli/Application.php b/nur_src/cli/Application.php
index e3051d4..1526e8b 100644
--- a/nur_src/cli/Application.php
+++ b/nur_src/cli/Application.php
@@ -165,7 +165,7 @@ abstract class Application {
       if (static::USE_RUNFILE) {
         $runfile = app::get()->getRunfile();
         global $argc, $argv;
-        if ($argc === 2 && $argv[1] === "--Application-Runlock-release") {
+        if ($argc === 2 && ($argv[1] === "--Application-release-runlock" || $argv[1] === "--ARL")) {
           $runfile->release();
           exit(0);
         }