summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRoberto Sanchez2013-02-27 17:59:00 (EST)
committerRoberto Sanchez2013-02-27 17:59:00 (EST)
commitad789d681cfbb1af3752cfbb03683dfc34a7827b (patch)
tree3ceecf35844e3ad635350d3948d946ce73391cd4
parent8577fe5dac1fccdea6f77727268cababb3f250c4 (diff)
downloadwebtools.maps-ad789d681cfbb1af3752cfbb03683dfc34a7827b.zip
webtools.maps-ad789d681cfbb1af3752cfbb03683dfc34a7827b.tar.gz
webtools.maps-ad789d681cfbb1af3752cfbb03683dfc34a7827b.tar.bz2
[401128] Server starts unnecessarily when removing projects from the workspace
-rw-r--r--releng.jeetools/maps/jst-j2ee-basic.map2
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.jeetools/maps/jst-j2ee-basic.map b/releng.jeetools/maps/jst-j2ee-basic.map
index 2cce36b..65f78b4 100644
--- a/releng.jeetools/maps/jst-j2ee-basic.map
+++ b/releng.jeetools/maps/jst-j2ee-basic.map
@@ -8,7 +8,7 @@
plugin@org.eclipse.jst.j2ee.navigator.ui=GIT,tag=v201203142300,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.navigator.ui
plugin@org.eclipse.jst.j2ee.ui=GIT,tag=v201205170400,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.ui
-plugin@org.eclipse.jst.j2ee=GIT,tag=v201301092200,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee
+plugin@org.eclipse.jst.j2ee=GIT,tag=v201302272330,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee
plugin@org.eclipse.jst.j2ee.core=GIT,tag=v201205030130,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.core
plugin@org.eclipse.jst.j2ee.web=GIT,tag=v201212130700,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.web
plugin@org.eclipse.jst.servlet.ui=GIT,tag=v201202011057,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.servlet.ui