Servlet 4.0 getMappings rough implementation #746

jetty · Jul 20, 2016 · 53c07a5 · 53c07a5
1 parent 75f4af1
commit 53c07a5
Show file tree

Hide file tree

Showing 7 changed files with 114 additions and 290 deletions.
diff --git a/jetty-server/src/main/java/org/eclipse/jetty/server/PushBuilder.java b/jetty-server/src/main/java/org/eclipse/jetty/server/PushBuilder.java
diff --git a/jetty-server/src/main/java/org/eclipse/jetty/server/PushBuilderImpl.java b/jetty-server/src/main/java/org/eclipse/jetty/server/PushBuilderImpl.java
@@ -20,6 +20,8 @@
 
 import java.util.Set;
 
+import javax.servlet.http.PushBuilder;
+
 import org.eclipse.jetty.http.HttpField;
 import org.eclipse.jetty.http.HttpFields;
 import org.eclipse.jetty.http.HttpHeader;