diff options
author | Sven Gothel <[email protected]> | 2012-04-09 04:13:26 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2012-04-09 04:13:26 +0200 |
commit | ae3756ff570f2c274fca005c50028101aef176e9 (patch) | |
tree | 3dd28aec267eb7a3e3dbcc79dd169f8768aa79d1 /src/java/jogamp/android/launcher/LauncherUtil.java | |
parent | 6b5332374ff238b09d44858873d600e4290302f6 (diff) |
ActivityLauncher/LauncherUtil: Clear properties 'onDestroy()'
Diffstat (limited to 'src/java/jogamp/android/launcher/LauncherUtil.java')
-rw-r--r-- | src/java/jogamp/android/launcher/LauncherUtil.java | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/java/jogamp/android/launcher/LauncherUtil.java b/src/java/jogamp/android/launcher/LauncherUtil.java index 63452b7..953a810 100644 --- a/src/java/jogamp/android/launcher/LauncherUtil.java +++ b/src/java/jogamp/android/launcher/LauncherUtil.java @@ -146,8 +146,14 @@ public class LauncherUtil { public final void setSystemProperties() { Iterator<String> argKeys = keyList.iterator(); while(argKeys.hasNext()) { - final String key = argKeys.next(); - System.setProperty(key, map.get(key)); + final String key = argKeys.next(); + System.setProperty(key, map.get(key)); + } + } + public final void clearSystemProperties() { + Iterator<String> argKeys = keyList.iterator(); + while(argKeys.hasNext()) { + System.clearProperty(argKeys.next()); } } @@ -190,6 +196,9 @@ public class LauncherUtil { public final void setSystemProperties() { properties.setSystemProperties(); } + public final void clearSystemProperties() { + properties.clearSystemProperties(); + } public final String getProperty(String key) { return properties.getProperty(key); } public final OrderedProperties getProperties() { return properties; } public final List<String> getPropertyKeys() { return properties.getPropertyKeys(); } |