From a8055eb59ab4793860035c2bcb3db6b24ece2fab Mon Sep 17 00:00:00 2001
From: Shoghi Cervantes <shoghicp@gmail.com>
Date: Sun, 24 Nov 2013 20:09:04 +0100
Subject: [PATCH] Warn about not using the bin/ PHP binary

---
 start.sh | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/start.sh b/start.sh
index b32f911fd..2e849db47 100755
--- a/start.sh
+++ b/start.sh
@@ -2,12 +2,13 @@
 DIR="$(cd -P "$( dirname "${BASH_SOURCE[0]}" )" && pwd)"
 cd "$DIR"
 if [ -f ./php5/bin/php ]; then
-mkdir -m 0777 bin/
-mv ./php5/bin/php ./bin/php
-rm -r -f ./php5/
+	mkdir -m 0777 bin/
+	mv ./php5/bin/php ./bin/php
+	rm -r -f ./php5/
 fi
 if [ -f ./bin/php ]; then
-./bin/php -d enable_dl=On PocketMine-MP.php $@
+	./bin/php -d enable_dl=On PocketMine-MP.php $@
 else
-php -d enable_dl=On PocketMine-MP.php $@
+	echo "[WARNING] You are not using the standalone PocketMine-MP PHP binary."
+	php -d enable_dl=On PocketMine-MP.php $@
 fi
\ No newline at end of file