summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoreyuen2012-08-20 17:48:22 (EDT)
committereyuen2012-08-20 17:48:22 (EDT)
commitf163b8eb1530e430d8c3a1dbe8c032948f0b65f3 (patch)
treea163825020cdc6e6088a9824401e4b231ee534a8
parent1fa38abe6057f5a60afcd28fea6d3f75f08a0af4 (diff)
downloadwebtools.maps-f163b8eb1530e430d8c3a1dbe8c032948f0b65f3.zip
webtools.maps-f163b8eb1530e430d8c3a1dbe8c032948f0b65f3.tar.gz
webtools.maps-f163b8eb1530e430d8c3a1dbe8c032948f0b65f3.tar.bz2
[376506] New Server wizard doesn't block user from creating server with
existing name
-rw-r--r--releng.servertools/maps/wst-server-ui.map2
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.servertools/maps/wst-server-ui.map b/releng.servertools/maps/wst-server-ui.map
index cec9230..8f359b2 100644
--- a/releng.servertools/maps/wst-server-ui.map
+++ b/releng.servertools/maps/wst-server-ui.map
@@ -5,7 +5,7 @@
plugin@org.eclipse.wst.internet.monitor.ui=GIT,tag=v20120306_1603,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.internet.monitor.ui
-plugin@org.eclipse.wst.server.ui=GIT,tag=v20120501_1141,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.ui
+plugin@org.eclipse.wst.server.ui=GIT,tag=v20120817_1533,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.ui
plugin@org.eclipse.wst.server.http.ui=GIT,tag=v20090113,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.http.ui
plugin@org.eclipse.wst.server.discovery=GIT,tag=v20120403_0949,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.discovery