diff --git a/compile_php.sh b/compile_php.sh index af6027e0b..b808cadbe 100644 --- a/compile_php.sh +++ b/compile_php.sh @@ -147,6 +147,7 @@ rm -f ./configure >> "$DIR/install.log" 2>&1 --enable-sockets \ --enable-shared=no \ --enable-static=yes \ +--enable-shmop \ --enable-pcntl \ --enable-pthreads \ --enable-maintainer-zts \ diff --git a/src/API/ConsoleAPI.php b/src/API/ConsoleAPI.php index 044c8a73d..dbd15e4e6 100644 --- a/src/API/ConsoleAPI.php +++ b/src/API/ConsoleAPI.php @@ -51,7 +51,6 @@ class ConsoleAPI{ function __destruct(){ $this->server->deleteEvent($this->event); $this->loop->stop = true; - @fclose(STDIN); $this->loop->notify(); //$this->loop->join(); } diff --git a/start.cmd b/start.cmd index aa30220b7..366c13c07 100644 --- a/start.cmd +++ b/start.cmd @@ -1,12 +1,11 @@ @echo off -TITLE PocketMine-MP Server - by @shoghicp +TITLE PocketMine-MP Minecraft PE server COLOR 0F mode con: cols=90 cd /d %~dp0 FOR /F "tokens=*" %%i in ('php -r "echo 1;"') do SET PHPOUTPUT=%%i if not "%PHPOUTPUT%"=="1" ( echo [ERROR] Couldn't find PHP binary in PATH. -ping 127.0.0.1 -n 3 -w 1000>nul ) else ( if exist php.cmd ( if exist bin\ansicon.exe (