From e485c5610ab0cdd5cbd0fb084a312381b8279869 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Thu, 28 Nov 2024 21:55:37 +0400
Subject: [PATCH] =?UTF-8?q?d=C3=A9placer=20cli-launcher=20dans=20nur/ture?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 php/src/app/cli/include-launcher.php | 29 ----------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 php/src/app/cli/include-launcher.php

diff --git a/php/src/app/cli/include-launcher.php b/php/src/app/cli/include-launcher.php
deleted file mode 100644
index 0958cb7..0000000
--- a/php/src/app/cli/include-launcher.php
+++ /dev/null
@@ -1,29 +0,0 @@
-<?php
-# script à inclure pour implémenter .launcher.php
-# les constantes suivantes doivent être définies AVANT de chager ce script:
-# - NULIB_APP_app_params : paramètres du projet
-
-use nulib\app;
-use nulib\os\path;
-
-if ($argc <= 1) die("invalid arguments");
-
-app::init(NULIB_APP_app_params);
-
-$app = $argv[1];
-array_splice($argv, 0, 1); $argc--;
-if (class_exists($app)) {
-  # la configuration est celle actuellement chargée
-  $app::run();
-} elseif (is_executable($app)) {
-  # la configuration est passée par une variable d'environnement
-  app::params_putenv();
-  pcntl_exec($app, array_slice($argv, 1));
-} else {
-  # la configuration est celle actuellement chargée
-  $name = preg_replace('/\.php$/', "", path::basename($app));
-  app::init([
-    "name" => $name,
-  ]);
-  require $app;
-}