From d40152e3bbeb9b46662b373729085619511b9479 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Mon, 4 May 2020 11:23:44 +0100
Subject: [PATCH] World: fix time sync

---
 src/world/World.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/world/World.php b/src/world/World.php
index e1caee8cb..a17a459a0 100644
--- a/src/world/World.php
+++ b/src/world/World.php
@@ -629,6 +629,9 @@ class World implements ChunkManager{
 	 * @param Player ...$targets If empty, will send to all players in the world.
 	 */
 	public function sendTime(Player ...$targets) : void{
+		if(count($targets) === 0){
+			$targets = $this->players;
+		}
 		foreach($targets as $player){
 			$player->getNetworkSession()->syncWorldTime($this->time);
 		}