diff --git a/plugins/php/versions/81/fileinfo.sh b/plugins/php/versions/81/fileinfo.sh index 00495aff9..fc2a3adab 100755 --- 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