Sign in
eclipse
/
servertools
/
webtools.servertools
/
ca86ffc7d085681a8863412c664bda975f37a38d
commit
ca86ffc7d085681a8863412c664bda975f37a38d
[
log
]
[
tgz
]
author
david_williams <david_williams>
Thu Jan 20 23:48:37 2011 +0000
committer
david_williams <david_williams>
Thu Jan 20 23:48:37 2011 +0000
tree
6be18993a670f2cec7de92e276d047544437b6a7
parent
4c3f26acba6c6069d30d8035a960fe78fc3cb22d
[
diff
]
334576 - Headless runs detect that org.eclipse.ui is active, a better check is needed
features/org.eclipse.wst.server_core.feature.patch/buildnotes_org.eclipse.wst.server_core.feature.patch.html
[
diff
]
features/org.eclipse.wst.server_core.feature.patch/feature.properties
[
diff
]
features/org.eclipse.wst.server_ui.feature.patch/buildnotes_org.eclipse.wst.server_ui.feature.patch.html
[
diff
]
features/org.eclipse.wst.server_ui.feature.patch/feature.properties
[
diff
]
plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/SaveEditorPrompter.java
[
diff
]
plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ServerPlugin.java
[
diff
]
plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/SaveEditorPrompter.java
[
diff
]
7 files changed
tree: 6be18993a670f2cec7de92e276d047544437b6a7
features/
plugins/
