diff options
author | eyuen | 2012-09-07 18:01:00 +0000 |
---|---|---|
committer | eyuen | 2012-09-07 18:01:00 +0000 |
commit | 22e85873074cfa781d72c52547d55c1a133cb425 (patch) | |
tree | 1325579e75e0aae5d4dbd2f388c381ca83131521 /releng.servertools/maps/wst-server-core.map | |
parent | 0b65ebf1c6f3803131022fca9ee20ea0f3552657 (diff) | |
download | webtools.maps-22e85873074cfa781d72c52547d55c1a133cb425.tar.gz webtools.maps-22e85873074cfa781d72c52547d55c1a133cb425.tar.xz webtools.maps-22e85873074cfa781d72c52547d55c1a133cb425.zip |
[388030] Restart server doesn't finish
Diffstat (limited to 'releng.servertools/maps/wst-server-core.map')
-rw-r--r-- | releng.servertools/maps/wst-server-core.map | 2 |
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 f6811f5da..6010d7d2a 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 |