summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoreyuen2013-11-27 18:01:47 (EST)
committereyuen2013-11-27 18:01:47 (EST)
commitced882f915b55865776f47fea2bd354020bc7091 (patch)
tree41a6ed90ca13fad5c5c5eed6643a7123eb892d44
parentefdf911a7d7433860b44751e174ec726b5ff5b8e (diff)
downloadwebtools.maps-ced882f915b55865776f47fea2bd354020bc7091.zip
webtools.maps-ced882f915b55865776f47fea2bd354020bc7091.tar.gz
webtools.maps-ced882f915b55865776f47fea2bd354020bc7091.tar.bz2
[422255] Publish is not canceled when server start is (canceled)
-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 664afa0..aa0fd27 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=v20130918_1641,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=v20131108_0955,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=v20131127_1758,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=v20130918_1641,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=v20130918_1641,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.preview