wip refresh on changed token

Author: gnprice

lib/model/push_device.dart

@@ -136,19 +136,16 @@ class PushDeviceManager extends PerAccountStoreBase {
 
     // TODO(#1764) if account.pushToken not null, skip? cf #322
 
-    int? pushAccountId = account.pushAccountId;
-    Uint8List? pushKey = account.pushKey;
-    if (pushAccountId == null) {
-      pushAccountId = NotificationService.generatePushAccountId();
-      pushKey = NotificationService.generatePushKey();
+    if (token != account.pushToken) {
+      // TODO(#1764) if old pushToken not null, maybe tell server to forget
       await updateAccount(AccountsCompanion(
-        pushAccountId: drift.Value(pushAccountId),
-        pushKey: drift.Value(pushKey),
+        pushAccountId: drift.Value(NotificationService.generatePushAccountId()),
+        pushKey: drift.Value(NotificationService.generatePushKey()),
+        pushToken: drift.Value(token),
       ));
     }
-    if (pushKey == null) {
-      throw StateError('Account missing pushKey while have pushAccountId'); // TODO(log)
-    }
+    final pushAccountId = account.pushAccountId!;
+    final pushKey = account.pushKey!;
 
     final tokenKind = switch (defaultTargetPlatform) {
       TargetPlatform.android => PushTokenKind.fcm,