android: Handle profile file names with dots in them

diff --git a/src/frontends/android/app/src/main/AndroidManifest.xml b/src/frontends/android/app/src/main/AndroidManifest.xml
index a0c79875f9d7f531dafbae2140f1c30464107baf..bc2de9af7a4b0280d01277d4b1bd05e95caaed8b 100644 (file)
--- a/src/frontends/android/app/src/main/AndroidManifest.xml
+++ b/src/frontends/android/app/src/main/AndroidManifest.xml
@@ -88,6 +88,9 @@
                 <data android:scheme="file" />
                 <data android:scheme="content" />
                 <data android:host="*" />
+                <data android:pathPattern=".*\\..*\\..*\\..*\\.sswan" />
+                <data android:pathPattern=".*\\..*\\..*\\.sswan" />
+                <data android:pathPattern=".*\\..*\\.sswan" />
                 <data android:pathPattern=".*\\.sswan" />
             </intent-filter>
         </activity>