summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoreyuen2012-09-07 14:01:00 (EDT)
committereyuen2012-09-07 14:01:00 (EDT)
commit22e85873074cfa781d72c52547d55c1a133cb425 (patch)
tree1325579e75e0aae5d4dbd2f388c381ca83131521
parent0b65ebf1c6f3803131022fca9ee20ea0f3552657 (diff)
downloadwebtools.maps-22e85873074cfa781d72c52547d55c1a133cb425.zip
webtools.maps-22e85873074cfa781d72c52547d55c1a133cb425.tar.gz
webtools.maps-22e85873074cfa781d72c52547d55c1a133cb425.tar.bz2
[388030] Restart server doesn't finish
-rw-r--r--releng.servertools/maps/wst-server-core.map2
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.servertools/maps/wst-server-core.map b/releng.servertools/maps/wst-server-core.map
index f6811f5..6010d7d 100644
--- a/releng.servertools/maps/wst-server-core.map
+++ b/releng.servertools/maps/wst-server-core.map
@@ -5,7 +5,7 @@
plugin@org.eclipse.wst.internet.monitor.core=GIT,tag=v20110419,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.internet.monitor.core
-plugin@org.eclipse.wst.server.core=GIT,tag=v20120425_2002,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.core
+plugin@org.eclipse.wst.server.core=GIT,tag=v20120907_1357,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.core
plugin@org.eclipse.wst.server.http.core=GIT,tag=v20090429,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.http.core
plugin@org.eclipse.wst.server.preview=GIT,tag=v20111212_1019,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.preview