mirror of
https://github.com/pmmp/PocketMine-MP.git
synced 2025-04-20 16:00:20 +00:00
Added shmop to build script
This commit is contained in:
parent
31ffe8017f
commit
72208d9159
@ -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 \
|
||||
|
@ -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();
|
||||
}
|
||||
|
@ -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 (
|
||||
|
Loading…
x
Reference in New Issue
Block a user