From 8d55a931d2fe5c685c67811640bb4d5d9cb9fa42 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Tue, 3 Oct 2023 05:48:47 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 bin/runphp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/bin/runphp b/bin/runphp
index a3aa6dc..e8e7ead 100755
--- a/bin/runphp
+++ b/bin/runphp
@@ -1,7 +1,6 @@
 #!/bin/bash
 # -*- coding: utf-8 mode: sh -*- vim:sw=4:sts=4:et:ai:si:sta:fenc=utf-8
-MYDIR="$(dirname -- "$0")"; MYNAME="$(basename -- "$0")"
-function die() { echo 1>&2 "ERROR: $*"; exit 1; }
+source "$(dirname -- "$0")/../load.sh" || exit 1
 
 case "$MYNAME" in
 runphp) ;;