From 2b5c21d9098878e271888ad51868c4d502c4470f Mon Sep 17 00:00:00 2001 From: Shoghi Cervantes Pueyo Date: Sun, 30 Dec 2012 19:55:52 +0100 Subject: [PATCH] Updated deleted header --- PocketMine-MP.php | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/PocketMine-MP.php b/PocketMine-MP.php index 853f902ae..fd6c2ed2a 100644 --- a/PocketMine-MP.php +++ b/PocketMine-MP.php @@ -3,6 +3,19 @@ /* - + / \ + / \ + / PocketMine \ +/ MP \ +|\ @shoghicp /| +|. \ / .| +| .. \ / .. | +| .. | .. | +| .. | .. | +\ | / + \ | / + \ | / + \ | / This program is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by @@ -18,8 +31,6 @@ require_once("API/ServerAPI.php"); while(true){ $server = new ServerAPI(); - //You can add simple things here - if($server->start() !== true){ break; }else{