Changed filename to use 32-bit

This commit is contained in:
Shoghi Cervantes Pueyo 2012-12-18 01:27:40 +01:00
parent d515e44de9
commit c57fd5c8f7
2 changed files with 5 additions and 1 deletions

View File

@ -30,6 +30,6 @@ while(true){
$l = fgets(STDIN); $l = fgets(STDIN);
fwrite($fp, $l); fwrite($fp, $l);
if(strtolower(trim($l)) === "stop" and isset($argv[1]) and trim($argv[1]) == "1"){ if(strtolower(trim($l)) === "stop" and isset($argv[1]) and trim($argv[1]) == "1"){
sleep(5);die(); die();
} }
} }

View File

@ -1,5 +1,8 @@
@echo off @echo off
TITLE Pocket-Minecraft-PHP Server - by @shoghicp TITLE Pocket-Minecraft-PHP Server - by @shoghicp
COLOR F0
mode con: cols=90
echo. echo.
echo - echo -
echo / \ echo / \
@ -25,4 +28,5 @@ ping 127.0.0.1 -n 3 -w 1000>nul
) else ( ) else (
START /B CMD /C CALL php server.php START /B CMD /C CALL php server.php
START /B /WAIT php input.php 1 START /B /WAIT php input.php 1
ping 127.0.0.1 -n 5 -w 1000>nul
) )