From ec09778b132b3403759aba4a8f567e63528df6e9 Mon Sep 17 00:00:00 2001 From: Ben Galaviz Date: Thu, 23 Feb 2012 15:55:08 -0600 Subject: add new jetty releases --- .../plugin.properties | 10 ++ org.eclipse.jst.server.jetty.core/plugin.xml | 121 ++++++++++++++++++++- .../jetty/core/internal/JettyVersionManager.java | 4 +- org.eclipse.jst.server.jetty.ui/plugin.xml | 28 +++++ 4 files changed, 159 insertions(+), 4 deletions(-) diff --git a/org.eclipse.jst.server.jetty.core/plugin.properties b/org.eclipse.jst.server.jetty.core/plugin.properties index 69fb32d..6f3eb0c 100644 --- a/org.eclipse.jst.server.jetty.core/plugin.properties +++ b/org.eclipse.jst.server.jetty.core/plugin.properties @@ -25,6 +25,12 @@ runtimeTypeJetty73Description=Jetty v7.3 supports J2EE 1.2, 1.3, 1.4, and Java E runtimeTypeJetty74Label=Jetty v7.4 runtimeTypeJetty74Description=Jetty v7.4 supports J2EE 1.2, 1.3, 1.4, and Java EE 5 and 6 Web modules. +runtimeTypeJetty74Label=Jetty v7.5 +runtimeTypeJetty74Description=Jetty v7.5 supports J2EE 1.2, 1.3, 1.4, and Java EE 5 and 6 Web modules. + +runtimeTypeJetty74Label=Jetty v7.6 +runtimeTypeJetty74Description=Jetty v7.6 supports J2EE 1.2, 1.3, 1.4, and Java EE 5 and 6 Web modules. + runtimeTypeJetty80Label=Jetty v8.x runtimeTypeJetty80Description=Jetty v8.0 supports J2EE 1.2, 1.3, 1.4, and Java EE 5 and 6 Web modules. @@ -37,6 +43,10 @@ jetty73ServerType=Jetty v7.3 Server jetty73ServerDescription=Publishes and runs J2EE and Java EE Web projects and server configurations to a local Jetty server. jetty74ServerType=Jetty v7.4 Server jetty74ServerDescription=Publishes and runs J2EE and Java EE Web projects and server configurations to a local Jetty server. +jetty74ServerType=Jetty v7.5 Server +jetty74ServerDescription=Publishes and runs J2EE and Java EE Web projects and server configurations to a local Jetty server. +jetty74ServerType=Jetty v7.6 Server +jetty74ServerDescription=Publishes and runs J2EE and Java EE Web projects and server configurations to a local Jetty server. jetty80ServerType=Jetty v8.0 Server jetty80ServerDescription=Publishes and runs J2EE and Java EE Web projects and server configurations to a local Jetty server. diff --git a/org.eclipse.jst.server.jetty.core/plugin.xml b/org.eclipse.jst.server.jetty.core/plugin.xml index 90f42f9..bd7329e 100644 --- a/org.eclipse.jst.server.jetty.core/plugin.xml +++ b/org.eclipse.jst.server.jetty.core/plugin.xml @@ -80,7 +80,41 @@ versions="1.0"> - + + + + + + + + + + + + + + + + + + + + + - + + @@ -312,6 +383,30 @@ version="1.0"/> + + + + + + + + + + + + + + - + + + + + + + + + + + + + + +