The same device may open different push URLs at different points in time, however the old ones still work until the channel is closed, it seems. We only accept one push URL per device however, otherwise the same push notification is sent multiple times to the same device. Therefore we need another way of uniquely identifying a device, and that is the tag.
- Value parameters:
- silent
true for a silent notification, otherwise false
- tag
tag that IDs the device
- url
device token
- Companion:
- object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any