From 6719d2d81db1867798befde6cbaa7eef62c18921 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Tue, 31 Jan 2023 18:36:21 +0100
Subject: php81: Removed since same as php82

---
 private/php81/doinst.sh | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 private/php81/doinst.sh

(limited to 'private/php81/doinst.sh')

diff --git a/private/php81/doinst.sh b/private/php81/doinst.sh
deleted file mode 100644
index 525df1f..0000000
--- a/private/php81/doinst.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-config() {
-  NEW="$1"
-  OLD="`dirname $NEW`/`basename $NEW .new`"
-  # If there's no config file by that name, mv it over:
-  if [ ! -r $OLD ]; then
-    mv $NEW $OLD
-  elif [ "`cat $OLD | md5sum`" = "`cat $NEW | md5sum`" ]; then # toss the redundant copy
-    rm $NEW
-  fi
-  # Otherwise, we leave the .new copy for the admin to consider...
-}
-# Keep same perms on rc.php-fpm.new:
-if [ -e etc/rc.d/rc.php-fpm-8.1 ]; then
-  cp -a etc/rc.d/rc.php-fpm-8.1 etc/rc.d/rc.php-fpm-8.1.new.incoming
-  cat etc/rc.d/rc.php-fpm-8.1.new > etc/rc.d/rc.php-fpm-8.1.new.incoming
-  mv etc/rc.d/rc.php-fpm-8.1.new.incoming etc/rc.d/rc.php-fpm-8.1.new
-fi
-config etc/rc.d/rc.php-fpm-8.1.new
-- 
cgit v1.2.3