From 2f7b6fe5ad0a1461453cb92d67451ab01345b089 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 15 Sep 2025 08:32:04 +0400
Subject: [PATCH] ajouter la notion de mode production

---
 src/app.php | 22 ++++++++++++++++++----
 1 file changed, 18 insertions(+), 4 deletions(-)

diff --git a/src/app.php b/src/app.php
index 97802b9..a61a84a 100644
--- a/src/app.php
+++ b/src/app.php
@@ -107,8 +107,12 @@ class app {
     return self::get()->getProfile();
   }
 
-  static function set_profile(?string $profile=null): void {
-    self::get()->setProfile($profile);
+  static function is_production_mode(): bool {
+    return self::get()->isProductionMode();
+  }
+
+  static function set_profile(?string $profile=null, ?bool $productionMode=null): void {
+    self::get()->setProfile($profile, $productionMode);
   }
 
   /**
@@ -284,9 +288,19 @@ class app {
     return $this->profile;
   }
 
-  function setProfile(?string $profile): void {
+  protected bool $productionMode;
+
+  function isProductionMode(): bool {
+    return $this->productionMode;
+  }
+
+  function setProfile(?string $profile, ?bool $productionMode=null): void {
     $profile ??= $this->profile;
     $this->profile = $profile;
+    if ($productionMode === null) {
+      $productionMode = $profile === "prod" || $profile === "test";
+    }
+    $this->productionMode = $productionMode;
   }
 
   /**
@@ -425,7 +439,7 @@ class app {
    *
    * is $ensureDir, créer le répertoire du fichier s'il n'existe pas déjà
    *
-   * la différence est avec {@link self::getVarfile()} est que le fichier peut
+   * la différence avec {@link self::getVarfile()} est que le fichier peut
    * au final être situé ailleurs que dans $vardir. de plus, il n'y a pas de
    * valeur par défaut pour $file
    */