1 files changed, 13 insertions, 0 deletions
diff --git a/android/app/src/main/java/io/coinos/app/Push.java b/android/app/src/main/java/io/coinos/app/Push.java
index 925693a..932fc11 100644
--- a/android/app/src/main/java/io/coinos/app/Push.java
+++ b/android/app/src/main/java/io/coinos/app/Push.java
@@ -120,6 +120,19 @@ public final class Push {
     p.edit().putInt(KEY_TRY, p.getInt(KEY_TRY, 0) + 1).putLong(KEY_TRY_AT, 0).remove(KEY_DIST).apply();
   }
 
+  /**
+   * Google Play Services, installed and switched on — what web push on
+   * Android runs through. (Its package is named in the manifest's queries:
+   * Android 11+ hides it otherwise.)
+   */
+  static boolean playServices(Context c) {
+    try {
+      return c.getPackageManager().getApplicationInfo("com.google.android.gms", 0).enabled;
+    } catch (Exception e) {
+      return false;
+    }
+  }
+
   static String endpoint(Context c) {
     return prefs(c).getString(KEY_ENDPOINT, null);
   }