15 lines
546 B
Diff
15 lines
546 B
Diff
diff --git a/project/java/Settings.java b/project/java/Settings.java
|
|
index 4467879a0..1de0689c2 100644
|
|
--- a/project/java/Settings.java
|
|
+++ b/project/java/Settings.java
|
|
@@ -532,6 +532,9 @@ public class Settings
|
|
} catch ( IOException e ) { }
|
|
new File( p.getFilesDir() + "/" + SettingsFileName ).delete();
|
|
|
|
+ // Kill it with vengeance and unload all shared libraries
|
|
+ android.os.Process.killProcess(android.os.Process.myPid());
|
|
+
|
|
Intent intent = new Intent(p, RestartMainActivity.class);
|
|
p.startActivity(intent);
|
|
System.exit(0);
|