diff options
author | Eduardo Julian | 2022-11-15 14:06:17 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-11-15 14:06:17 -0400 |
commit | d656ef2143151a1d78768df4562e5275dff67b9d (patch) | |
tree | 554f6e64c09654e0faeeed3662183c63c35cf514 /stdlib/source/library/lux/world/net/http/server.lux | |
parent | 4c765d22bd0a2e5271bf350745ed29f66bfbb96a (diff) |
Added LineNumberTable annotations to functions when compiling for the JVM.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/world/net/http/server.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/world/net/http/server.lux b/stdlib/source/library/lux/world/net/http/server.lux index 43c2b7816..a453c944b 100644 --- a/stdlib/source/library/lux/world/net/http/server.lux +++ b/stdlib/source/library/lux/world/net/http/server.lux @@ -45,7 +45,7 @@ (-> (Server !) (Server !))) (function (_ ! request) - (if (scheme#= <scheme> (the [request.#protocol //.#scheme] request)) + (if (scheme#= <scheme> (the [request.#protocol request.#scheme] request)) (server ! request) (at ! in (response.not_found !)))))] @@ -59,7 +59,7 @@ (-> (Server !) (Server !))) (function (_ ! request) - (when (the [request.#resource //.#method] request) + (when (the [request.#resource request.#method] request) {<method>} (server ! request) @@ -82,8 +82,8 @@ (-> URI (Server !) (Server !))) (function (_ ! request) - (if (text.starts_with? path (the [request.#resource //.#uri] request)) - (server ! (revised [request.#resource //.#uri] + (if (text.starts_with? path (the [request.#resource request.#uri] request)) + (server ! (revised [request.#resource request.#uri] (|>> (text.clip_since (text.size path)) maybe.trusted) request)) @@ -129,14 +129,14 @@ (-> (?environment.Parser of) (-> of (Server !)) (Server !))) (function (_ ! request) - (let [full (the [request.#resource //.#uri] request) + (let [full (the [request.#resource request.#uri] request) [uri query] (|> full (text.split_by "?") (maybe.else [full ""]))] (when (do try.monad [query (query#decoded query) input (?environment.result parser query)] - (in [(has [request.#resource //.#uri] uri request) + (in [(has [request.#resource request.#uri] uri request) input])) {try.#Success [request input]} (server input ! request) |