diff options
author | Andrew Niefer | 2007-04-05 20:33:24 +0000 |
---|---|---|
committer | Andrew Niefer | 2007-04-05 20:33:24 +0000 |
commit | 733c829d74b7d7c1659f54ffb4798d721dc2ebd2 (patch) | |
tree | b354a3a5085ecc35a398c6fb061da8ef064c00d4 /bundles/org.eclipse.equinox.launcher/src/org/eclipse/equinox/launcher/WebStartMain.java | |
parent | 19a3cc3ac7db94a9c2e79ca6d4800e8b8cdcc8a1 (diff) | |
download | rt.equinox.framework-733c829d74b7d7c1659f54ffb4798d721dc2ebd2.tar.gz rt.equinox.framework-733c829d74b7d7c1659f54ffb4798d721dc2ebd2.tar.xz rt.equinox.framework-733c829d74b7d7c1659f54ffb4798d721dc2ebd2.zip |
bug 163312
Diffstat (limited to 'bundles/org.eclipse.equinox.launcher/src/org/eclipse/equinox/launcher/WebStartMain.java')
-rw-r--r-- | bundles/org.eclipse.equinox.launcher/src/org/eclipse/equinox/launcher/WebStartMain.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bundles/org.eclipse.equinox.launcher/src/org/eclipse/equinox/launcher/WebStartMain.java b/bundles/org.eclipse.equinox.launcher/src/org/eclipse/equinox/launcher/WebStartMain.java index a8e3c51ae..4a36092f2 100644 --- a/bundles/org.eclipse.equinox.launcher/src/org/eclipse/equinox/launcher/WebStartMain.java +++ b/bundles/org.eclipse.equinox.launcher/src/org/eclipse/equinox/launcher/WebStartMain.java @@ -48,7 +48,8 @@ public class WebStartMain extends Main { public static void main(String[] args) { System.setSecurityManager(null); //TODO Hack so that when the classloader loading the fwk is created we don't have funny permissions. This should be revisited. int result = new WebStartMain().run(args); - System.exit(result); + if (!Boolean.getBoolean(PROP_NOSHUTDOWN)) + System.exit(result); } private void setDefaultBundles() { |