From cd52cb9ae655aa8a005d2dc27fd507667de91e59 Mon Sep 17 00:00:00 2001
From: Shoghi Cervantes <shoghicp@gmail.com>
Date: Wed, 29 Jan 2014 20:02:16 +0100
Subject: [PATCH] Added exec to start.sh

---
 start.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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