Mercurial Hosting > luan
comparison web/src/luan/modules/web/Server.luan @ 377:a8d03e6882c6
add web/NotFound.java
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Sun, 19 Apr 2015 07:27:23 -0600 |
parents | 612a283b3d14 |
children | 5b36f663a1b8 |
comparison
equal
deleted
inserted
replaced
376:0a75ed73bccc | 377:a8d03e6882c6 |
---|---|
14 local ContextHandler = require "java:org.eclipse.jetty.server.handler.ContextHandler" | 14 local ContextHandler = require "java:org.eclipse.jetty.server.handler.ContextHandler" |
15 local GzipHandler = require "java:org.eclipse.jetty.server.handler.GzipHandler" | 15 local GzipHandler = require "java:org.eclipse.jetty.server.handler.GzipHandler" |
16 local HandlerWrapper = require "java:org.eclipse.jetty.server.handler.HandlerWrapper" | 16 local HandlerWrapper = require "java:org.eclipse.jetty.server.handler.HandlerWrapper" |
17 local SessionHandler = require "java:org.eclipse.jetty.server.session.SessionHandler" | 17 local SessionHandler = require "java:org.eclipse.jetty.server.session.SessionHandler" |
18 local AuthenticationHandler = require "java:luan.modules.web.AuthenticationHandler" | 18 local AuthenticationHandler = require "java:luan.modules.web.AuthenticationHandler" |
19 local LuanHandler = require "java:luan.modules.web.LuanHandler" | |
20 local NotFound = require "java:luan.modules.web.NotFound" | |
19 | 21 |
20 | 22 |
21 port = 8080 | 23 port = 8080 |
22 | 24 |
23 private_password = "password" | 25 private_password = "password" |
25 welcome_file = "index.html" | 27 welcome_file = "index.html" |
26 | 28 |
27 | 29 |
28 authentication_handler = AuthenticationHandler.new("/private/") | 30 authentication_handler = AuthenticationHandler.new("/private/") |
29 | 31 |
30 luan_handler = Http.new_luan_handler() | 32 luan_handler = LuanHandler.new() |
31 | 33 |
32 resource_handler = ResourceHandler.new() | 34 resource_handler = ResourceHandler.new() |
33 resource_handler.setDirectoriesListed(true) | 35 resource_handler.setDirectoriesListed(true) |
34 | 36 |
35 handlers = HandlerList.new() | 37 handlers = HandlerList.new() |
79 base = dir.."#"..welcome_file.."#"..welcome_file..".luan" | 81 base = dir.."#"..welcome_file.."#"..welcome_file..".luan" |
80 end | 82 end |
81 resource_handler.setResourceBase(Io.Uri(base).to_string()) | 83 resource_handler.setResourceBase(Io.Uri(base).to_string()) |
82 resource_handler.setWelcomeFiles {welcome_file} | 84 resource_handler.setWelcomeFiles {welcome_file} |
83 luan_handler.setWelcomeFile(welcome_file) | 85 luan_handler.setWelcomeFile(welcome_file) |
86 handlers.addHandler(NotFound.new()) | |
84 server = Server.new(port) | 87 server = Server.new(port) |
85 server.setHandler(hc) | 88 server.setHandler(hc) |
86 Package.load("site:/init") | 89 Package.load("site:/init") |
87 end | 90 end |
88 | 91 |