Server: fixed wrong non-nullability of queryHandler

This commit is contained in:
Dylan K. Taylor 2020-02-05 19:56:16 +00:00
parent dfc8a6ffdd
commit 8cba2e0346

View File

@ -320,8 +320,8 @@ class Server{
*/
private $uniquePlayers = [];
/** @var QueryHandler */
private $queryHandler;
/** @var QueryHandler|null */
private $queryHandler = null;
/** @var QueryRegenerateEvent */
private $queryRegenerateTask = null;