Cache process ID before calling finish

2025-11-16 10:48:00 +00:00 · 2014-08-23 16:52:07 +00:00
parent 121f7f2b91
commit 0325fac63e
1 changed files with 2 additions and 1 deletions
--- a/forge-gui-android/src/forge/app/Main.java
+++ b/forge-gui-android/src/forge/app/Main.java
@@ -54,8 +54,9 @@ public class Main extends AndroidApplication {
                }

                //ensure process doesn't stick around after exiting
+                int pid = android.os.Process.myPid();
                finish();
-                android.os.Process.killProcess(android.os.Process.myPid());
+                android.os.Process.killProcess(pid);
            }
        }));
    }