From c57fd5c8f78db24cd7c98194536eb9f1fb09df58 Mon Sep 17 00:00:00 2001
From: Shoghi Cervantes Pueyo <shoghicp@gmail.com>
Date: Tue, 18 Dec 2012 01:27:40 +0100
Subject: [PATCH] Changed filename to use 32-bit

---
 input.php              | 2 +-
 start.bat => start.cmd | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)
 rename start.bat => start.cmd (92%)

diff --git a/input.php b/input.php
index 4d4d12d56..ac9d14c89 100644
--- a/input.php
+++ b/input.php
@@ -30,6 +30,6 @@ while(true){
 	$l = fgets(STDIN);
 	fwrite($fp, $l);
 	if(strtolower(trim($l)) === "stop" and isset($argv[1]) and trim($argv[1]) == "1"){
-		sleep(5);die();
+		die();
 	}
 }
\ No newline at end of file
diff --git a/start.bat b/start.cmd
similarity index 92%
rename from start.bat
rename to start.cmd
index e5b19f1b4..6ed034d8b 100644
--- a/start.bat
+++ b/start.cmd
@@ -1,5 +1,8 @@
 @echo off
 TITLE Pocket-Minecraft-PHP Server - by @shoghicp
+COLOR F0
+mode con: cols=90
+
 echo.
 echo             -
 echo           /   \
@@ -25,4 +28,5 @@ ping 127.0.0.1 -n 3 -w 1000>nul
 ) else (
 START /B CMD /C CALL php server.php
 START /B /WAIT php input.php 1
+ping 127.0.0.1 -n 5 -w 1000>nul
 )
\ No newline at end of file