Merge pull request #2245 from cemo/fix-jetty9-jar-url
* fix-jetty9-jar-url: Fix potential Jetty MalformedURLException
This commit is contained in:
commit
a8ca01cf51
|
|
@ -40,6 +40,7 @@ import org.eclipse.jetty.server.handler.ErrorHandler;
|
||||||
import org.eclipse.jetty.servlet.ErrorPageErrorHandler;
|
import org.eclipse.jetty.servlet.ErrorPageErrorHandler;
|
||||||
import org.eclipse.jetty.servlet.ServletHolder;
|
import org.eclipse.jetty.servlet.ServletHolder;
|
||||||
import org.eclipse.jetty.servlet.ServletMapping;
|
import org.eclipse.jetty.servlet.ServletMapping;
|
||||||
|
import org.eclipse.jetty.util.resource.JarResource;
|
||||||
import org.eclipse.jetty.util.resource.Resource;
|
import org.eclipse.jetty.util.resource.Resource;
|
||||||
import org.eclipse.jetty.util.ssl.SslContextFactory;
|
import org.eclipse.jetty.util.ssl.SslContextFactory;
|
||||||
import org.eclipse.jetty.webapp.AbstractConfiguration;
|
import org.eclipse.jetty.webapp.AbstractConfiguration;
|
||||||
|
|
@ -259,7 +260,8 @@ public class JettyEmbeddedServletContainerFactory extends
|
||||||
if (root != null) {
|
if (root != null) {
|
||||||
try {
|
try {
|
||||||
if (!root.isDirectory()) {
|
if (!root.isDirectory()) {
|
||||||
Resource resource = Resource.newResource("jar:" + root.toURI() + "!");
|
Resource resource = JarResource.newJarResource(Resource
|
||||||
|
.newResource(root));
|
||||||
handler.setBaseResource(resource);
|
handler.setBaseResource(resource);
|
||||||
}
|
}
|
||||||
else {
|
else {
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue