summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoreyuen2013-11-27 17:56:42 (EST)
committereyuen2013-11-27 17:56:42 (EST)
commit57c1ccb73514d68d328bf73638f038898f5c0186 (patch)
tree6e6daed3215aa7b2df14a0bed07736bef059c527
parent6da56250c22be979ed1700fae8839cdaf243dbcf (diff)
downloadwebtools.maps-57c1ccb73514d68d328bf73638f038898f5c0186.zip
webtools.maps-57c1ccb73514d68d328bf73638f038898f5c0186.tar.gz
webtools.maps-57c1ccb73514d68d328bf73638f038898f5c0186.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 ad8c40b..6d259b3 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=v20130501_1704,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_1752,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=v20130502_0936,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.preview