fix readline crash when user presses ctrl+D

This commit is contained in:
Dylan K. Taylor 2017-12-07 13:41:58 +00:00
parent b06ca6eb0b
commit 31f0437c96

View File

@ -103,8 +103,7 @@ class CommandReader extends Thread{
private function readLine() : bool{
$line = "";
if($this->type === self::TYPE_READLINE){
$line = trim(readline("> "));
if($line !== ""){
if(($raw = readline("> ")) !== false and ($line = trim($raw)) !== ""){
readline_add_history($line);
}else{
return true;