|
const | VERSION = "1.6dev" |
|
const | API_VERSION = "1.13.1" |
|
const | CODENAME = "[REDACTED]" |
|
const | MINECRAFT_VERSION = "v0.13.2 alpha" |
|
const | MINECRAFT_VERSION_NETWORK = "0.13.2" |
|
if(\Phar::running(true)!=="") | else |
|
if(!extension_loaded("pthreads")) if(!class_exists("ClassLoader", false)) | $autoloader = new CompatibleClassLoader() |
|
const | START_TIME microtime(true) |
|
| $opts = getopt("", ["data:", "plugins:", "no-wizard", "enable-profiler"]) |
|
const | DATA isset($opts["data"]) ? $opts["data"] . DIRECTORY_SEPARATOR : \getcwd() . DIRECTORY_SEPARATOR |
|
const | PLUGIN_PATH isset($opts["plugins"]) ? $opts["plugins"] . DIRECTORY_SEPARATOR : \getcwd() . DIRECTORY_SEPARATOR . "plugins" . DIRECTORY_SEPARATOR |
|
const | ANSI Terminal::hasFormattingCodes() |
|
| $logger = new MainLogger(\pocketmine\DATA . "server.log", \pocketmine\ANSI) |
|
| $errors = 0 |
|
if(version_compare("5.6.0", PHP_VERSION) > 0) if(php_sapi_name()!=="cli") if(!extension_loaded("sockets")) | $pthreads_version = phpversion("pthreads") |
|
const | ENDIANNESS (pack("d", 1) === "\77\360\0\0\0\0\0\0" ? Binary::BIG_ENDIAN : Binary::LITTLE_ENDIAN) |
|
const | INT32_MASK is_int(0xffffffff) ? 0xffffffff : -1 |
|
| $server = new Server($autoloader, $logger, \pocketmine\PATH, \pocketmine\DATA, \pocketmine\PLUGIN_PATH) |
|
foreach(ThreadManager::getInstance() ->getAll() as $id=> $thread) | $killer = new ServerKiller(8) |
|
PocketMine-MP is the Minecraft: PE multiplayer server software Homepage: http://www.pocketmine.net/