From 6817a7c0b000dfc5305fab2ebbc4454cc1b04757 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Tue, 18 Feb 2025 11:48:06 +0400
Subject: [PATCH] maj deps

---
 .runphp.conf       | 2 +-
 nur_src/v/http.php | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/.runphp.conf b/.runphp.conf
index 89af070..75c5696 100644
--- a/.runphp.conf
+++ b/.runphp.conf
@@ -5,4 +5,4 @@ RUNPHP=
 
 # Si RUNPHP n'est pas défini, les variables suivantes peuvent être définies
 DIST=d11
-#REGISTRY=pubdocker.univ-reunion.fr
+#REGISTRY=pubdocker.univ-reunion.fr/dist
diff --git a/nur_src/v/http.php b/nur_src/v/http.php
index 6628844..961a16b 100644
--- a/nur_src/v/http.php
+++ b/nur_src/v/http.php
@@ -65,19 +65,19 @@ class http {
   /** rediriger vers l'url spécifiée et arrêter le script immédiatement */
   static function redirect(string $url, bool $exit_now=true): void {
     header("Location: $url");
-    if ($exit_now) exit;
+    if ($exit_now) exit();
   }
 
   /** rafraichir vers l'url spécifiée et arrêter le script immédiatement */
   static function refresh(string $url, int $delay=1, bool $exit_now=true): void {
     header("Refresh: $delay; url=$url");
-    if ($exit_now) exit;
+    if ($exit_now) exit();
   }
 
   /** envoyer le status "pas de contenu" et arrêter le script immédiatement */
   static function send_no_content(bool $exit_now=true): void {
     header("HTTP/1.1 204 No Content");
-    if ($exit_now) exit;
+    if ($exit_now) exit();
   }
 
   /**
@@ -109,7 +109,7 @@ class http {
     # XXX si $written !== $size, il faudrait agir en conséquence...
     fclose($fd);
     if ($written === false) return false;
-    if ($exit_now) exit;
+    if ($exit_now) exit();
     return true;
   }