()
| 223 | /// @deprecated this method sends a push using the old push servers which will be retired, you need to switch |
| 224 | /// to getPushKey() |
| 225 | public static String getDeviceKey() { |
| 226 | long l = Preferences.get("push_id", (long) -1); |
| 227 | if (l == -1) { |
| 228 | return null; |
| 229 | } |
| 230 | return "" + l; |
| 231 | } |
| 232 | |
| 233 | /// Returns the push device key if the device was previously successfully registered for push |
| 234 | /// otherwise returns null |