public static async void NotifyPlanetChange(ServerPlanet planet) { string json = JsonSerializer.Serialize(planet); await Current.Clients.Group($"p-{planet.Id}").SendAsync("PlanetUpdate", json); }