push only accepts email addresses for devices #7
Description
Push is device-dependent, but sometime after b27545f (I have not dug into the code to discover where, yet), it became email-dependent. This might be fine for cases where only a personal device is being used, but it does not work at all for kiosks, where multiple people use the same device and the same person can be on multiple devices throughout the day.
In our case, we have the devices named, but the push code is now rejecting device names that are not email addresses.