diff options
| author | Omar Rizwan <omar@omar.website> | 2023-03-24 00:37:36 +0000 |
|---|---|---|
| committer | Omar Rizwan <omar@omar.website> | 2023-03-24 00:37:36 +0000 |
| commit | 14f076094c15cc3e8312d16402f0f91ceaf3250d (patch) | |
| tree | 149a1ca35950e69931da96e39885931b711b2226 /user-programs | |
| parent | rework web wish to be return-value-oriented (diff) | |
| download | folk-14f076094c15cc3e8312d16402f0f91ceaf3250d.tar.gz folk-14f076094c15cc3e8312d16402f0f91ceaf3250d.zip | |
Some cleanup of unneeded returns/variable use in web
Diffstat (limited to 'user-programs')
| -rw-r--r-- | user-programs/folk-haip.local/web-endpoints.folk | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/user-programs/folk-haip.local/web-endpoints.folk b/user-programs/folk-haip.local/web-endpoints.folk index d9bd13e6..51aaaf06 100644 --- a/user-programs/folk-haip.local/web-endpoints.folk +++ b/user-programs/folk-haip.local/web-endpoints.folk @@ -1,9 +1,9 @@ Wish the web server handles route "/static-html/$" with handler { - return [$html "<h1>Hello World!</h1>"] + html "<h1>Hello World!</h1>" } Wish the web server handles route "/score/$" with handler { - return [$json "{\"score\": 5}"] + json "{\"score\": 5}" } When the collected matches for [list /regionName/ has region /region/] are /regionMatches/ { @@ -13,16 +13,16 @@ When the collected matches for [list /regionName/ has region /region/] are /regi append body "<li><strong>[dict get $match regionName]</strong>: [dict get $match region]</li>" } append body "</ol>" - return [$html $body] + html $body } [Evaluator::serializeEnvironment]] } Wish the web server handles route "/redirect/$" with handler { - return [dict create statusAndHeaders "HTTP/1.1 302 Found\nLocation: https://folk.computer"] + dict create statusAndHeaders "HTTP/1.1 302 Found\nLocation: https://folk.computer" } Wish the web server handles route {/pagee/(\d*)$} with handler { if {[regexp -all {/pagee/(\d*)$} $path whole_match pageNumber]} { - return [$html "<h1>Hello Page Number $pageNumber</h1>"] + html "<h1>Hello Page Number $pageNumber</h1>" } } |
