Improved CommandReader

src/pocketmine/command/CommandReader.php

@@ -24,6 +24,7 @@
 use pocketmine\Thread;
 use pocketmine\ThreadManager;
 use pocketmine\utils\MainLogger;
+use pocketmine\utils\Utils;
 
 class CommandReader extends Thread{
  private $readline;
@@ -84,11 +85,10 @@ public function getLine(){
 
  public function quit(){
  $this->shutdown();
- if (strncasecmp(PHP_OS, 'WIN', 3) == 0) {
+ if(Utils::getOS() != "win"){
  // Windows sucks. Don't use that.
- parent::kill();
+ parent::quit();
  }
- parent::quit();
  }
 
  public function run(){
@@ -103,14 +103,15 @@ public function run(){
  $e = null;
  if(stream_select($r, $w, $e, 0, 200000) > 0){
  if(feof($this->stdin)){
- $this->buffer[] = "stop";
- $this->shutdown();
+ /*$this->buffer[] = "stop";
+ $this->shutdown();*/
+ $this->stdin = fopen("php://stdin", "r");//Unexpected stdin close
  break;
  }
  $this->readLine();
  }
  }
- 
+
  if($this->readline){
  $this->logger->setConsoleCallback(null);
  readline_callback_handler_remove();