From 72208d91594ab86b656785a686573cfcdedd8a4d Mon Sep 17 00:00:00 2001
From: Shoghi Cervantes Pueyo <shoghicp@gmail.com>
Date: Wed, 24 Apr 2013 20:32:25 +0200
Subject: [PATCH] Added shmop to build script

---
 compile_php.sh         | 1 +
 src/API/ConsoleAPI.php | 1 -
 start.cmd              | 3 +--
 3 files changed, 2 insertions(+), 3 deletions(-)

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 (