commit | 1b6d8802cfbf0b8d7916fa815d1ee65e207a55b1 | [log] [tgz] |
---|---|---|
author | deboer <deboer> | Tue Jul 24 14:09:34 2007 +0000 |
committer | deboer <deboer> | Tue Jul 24 14:09:34 2007 +0000 |
tree | 5601e8d68f3400e7d90e4a137be28d6a828599ac | |
parent | 221b9bdbf7915dcdddb5ea6d2e59a5b5f1206768 [diff] |
[196080] Change default for local server option
diff --git a/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/ServerUIPreferences.java b/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/ServerUIPreferences.java index 8ba5c9a..c14bd85 100644 --- a/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/ServerUIPreferences.java +++ b/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/ServerUIPreferences.java
@@ -73,7 +73,7 @@ preferences.setDefault(PREF_SAVE_EDITORS, getDefaultSaveEditors()); preferences.setDefault(PREF_HOST_NAMES, "localhost"); preferences.setDefault(PREF_SHOW_ON_ACTIVITY, true); - preferences.setDefault(PREF_CREATE_SERVER_WITH_RUNTIME, true); + preferences.setDefault(PREF_CREATE_SERVER_WITH_RUNTIME, false); } /**