modifs.mineures sans commentaires

2023-10-03 05:48:47 +04:00 · 2023-10-03 05:48:47 +04:00 · 8d55a931d2
parent 5d86f60b11
commit 8d55a931d2
1 changed files with 1 additions and 2 deletions
--- 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) ;;