diff --git a/src/Server.php b/src/Server.php index 4cff7d3db..c3245ad4a 100644 --- a/src/Server.php +++ b/src/Server.php @@ -609,6 +609,10 @@ class Server{ } /** + * @deprecated This method's results are unpredictable. The string "Steve" will return the player named "SteveJobs", + * until another player named "Steve" joins the server, at which point it will return that player instead. Use + * {@link Server::getPlayersByPrefix()} instead. + * * Returns an online player whose name begins with or equals the given string (case insensitive). * The closest match will be returned, or null if there are no online matches. * @@ -1851,10 +1855,12 @@ class Server{ $this->getMemoryManager()->check(); if($this->console !== null){ + Timings::$serverCommand->startTiming(); while(($line = $this->console->readLine()) !== null){ $this->consoleSender ??= new ConsoleCommandSender($this, $this->language); $this->dispatchCommand($this->consoleSender, $line); } + Timings::$serverCommand->stopTiming(); } Timings::$serverTick->stopTiming();