Update fileinfo.sh

3 years ago · 1b786a353a
parent 60eb567d83
commit 1b786a353a
1 changed files with 6 additions and 0 deletions
--- a/plugins/php/versions/81/fileinfo.sh
+++ b/plugins/php/versions/81/fileinfo.sh
@ -50,6 +50,12 @@ Install_lib()
 		
 	fi

+	if [ ! -f "$extFile" ];then
+		echo "ERROR!"
+		return
+	fi
+
+
    echo "" >> $serverPath/php/$version/etc/php.ini
 	echo "[${LIBNAME}]" >> $serverPath/php/$version/etc/php.ini
 	echo "extension=${LIBNAME}.so" >> $serverPath/php/$version/etc/php.ini