summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRoberto Sanchez2013-03-05 17:35:55 (EST)
committerRoberto Sanchez2013-03-05 17:35:55 (EST)
commitb6a14c1a2190f52ace5d4c756204731e4a8cb4a4 (patch)
tree7089ffb9221aa7d0107dad17e16102ad4a0f0e2c
parentc6773690b514308225e85ae0cf0772155afcf6bf (diff)
downloadwebtools.maps-b6a14c1a2190f52ace5d4c756204731e4a8cb4a4.zip
webtools.maps-b6a14c1a2190f52ace5d4c756204731e4a8cb4a4.tar.gz
webtools.maps-b6a14c1a2190f52ace5d4c756204731e4a8cb4a4.tar.bz2
[401742] 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 b0f55ce..8507c23 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=v201303052300,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