X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=utils%2FJettyExamplesDir.java;h=5518e139b1d357f52be87f33962123fa763ecd6e;hb=c6df3928336440918d23b4e7cb579f134e2f48dd;hp=76375d6e20fe9dfe26687cff792c4ea670b6cd1a;hpb=a875782b000ff363877677507b7512f8a6c70875;p=jalview.git diff --git a/utils/JettyExamplesDir.java b/utils/JettyExamplesDir.java index 76375d6..5518e13 100644 --- a/utils/JettyExamplesDir.java +++ b/utils/JettyExamplesDir.java @@ -36,7 +36,6 @@ //======================================================================== // - import org.eclipse.jetty.server.Handler; import org.eclipse.jetty.server.Server; import org.eclipse.jetty.server.handler.DefaultHandler; @@ -70,16 +69,15 @@ public class JettyExamplesDir // In this example it is the current directory but it can be configured to // anything that the jvm has access to. resource_handler.setDirectoriesListed(true); - resource_handler.setWelcomeFiles(new String[] - { "applets.html" }); + resource_handler.setWelcomeFiles(new String[] { "applets.html" }); resource_handler.setResourceBase("."); // Add the ResourceHandler to the server. // GzipHandler gzip = new GzipHandler(); // server.setHandler(gzip); HandlerList handlers = new HandlerList(); - handlers.setHandlers(new Handler[] - { resource_handler, new DefaultHandler() }); + handlers.setHandlers(new Handler[] { resource_handler, + new DefaultHandler() }); server.setHandler(handlers); // Start things up! By using the server.join() the server thread will join @@ -89,5 +87,5 @@ public class JettyExamplesDir // for more details. server.start(); server.join(); -} + } }