From fa0fa5115886f0c12179599f3a09e15a1bbd0a2d Mon Sep 17 00:00:00 2001 From: david_williams <david_williams> Date: Tue, 28 Jun 2005 08:42:53 +0000 Subject: [PATCH] [91636] JSP Indexing doesn't shutdown when plugin does -- a few last cases. --- archive/org.eclipse.wtp.releng/maps/jst-jsp.map | 2 +- archive/org.eclipse.wtp.releng/maps/wst-xml.map | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/archive/org.eclipse.wtp.releng/maps/jst-jsp.map b/archive/org.eclipse.wtp.releng/maps/jst-jsp.map index 449b747c6..fd691561d 100644 --- a/archive/org.eclipse.wtp.releng/maps/jst-jsp.map +++ b/archive/org.eclipse.wtp.releng/maps/jst-jsp.map @@ -1,6 +1,6 @@ !*************** jst-jsp.map -plugin@org.eclipse.jst.jsp.core=v20050627_2222,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/jsp/plugins/org.eclipse.jst.jsp.core +plugin@org.eclipse.jst.jsp.core=v20050628_0440,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/jsp/plugins/org.eclipse.jst.jsp.core plugin@org.eclipse.jst.jsp.ui=v20050627_1430,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/jsp/plugins/org.eclipse.jst.jsp.ui !*************** \ No newline at end of file diff --git a/archive/org.eclipse.wtp.releng/maps/wst-xml.map b/archive/org.eclipse.wtp.releng/maps/wst-xml.map index d6d2dd54b..b0894299e 100644 --- a/archive/org.eclipse.wtp.releng/maps/wst-xml.map +++ b/archive/org.eclipse.wtp.releng/maps/wst-xml.map @@ -7,7 +7,7 @@ plugin@org.eclipse.wst.sse.core=v20050627_2222,:pserver:anonymous@dev.eclipse.or plugin@org.eclipse.wst.sse.ui=v20050627_1430,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/sse/plugins/org.eclipse.wst.sse.ui plugin@org.eclipse.wst.xml.core=v20050626_0025,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/xml/plugins/org.eclipse.wst.xml.core -plugin@org.eclipse.wst.xml.ui=v20050627_1430,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/xml/plugins/org.eclipse.wst.xml.ui +plugin@org.eclipse.wst.xml.ui=v20050628_0440,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/xml/plugins/org.eclipse.wst.xml.ui plugin@org.eclipse.wst.xsd.ui=v20050627_1430,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/xsd/plugins/org.eclipse.wst.xsd.ui plugin@org.eclipse.wst.xsd.core=v20050616_1805,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/xsd/plugins/org.eclipse.wst.xsd.core -- GitLab