Android: Fix closing app with "exit" menu button

Closes: #581
arianne · Nov 25, 2023 · 83bbb92 · 83bbb92
1 parent 5ee75ec
commit 83bbb92
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/android/app/src/main/java/org/arianne/stendhal/client/MainActivity.java b/android/app/src/main/java/org/arianne/stendhal/client/MainActivity.java
@@ -106,6 +106,7 @@ public void onRequestQuit() {
 		builder.setPositiveButton("Yes", new DialogInterface.OnClickListener() {
 			public void onClick(final DialogInterface dialog, final int id) {
 				finish();
+				android.os.Process.killProcess(android.os.Process.myPid());
 			}
 		});
 

diff --git a/doc/CHANGES.txt b/doc/CHANGES.txt
@@ -24,6 +24,7 @@ Changelog
 - deathmatch cannot be restarted while active
 - fixed positioning of emojis in Java client
 - fixed media autoplay in Android client
+- fixed closing Android client with "exit" menu button
 
 *clients*
 - webclient now has an optional on-screen joystick