summaryrefslogtreecommitdiffstats
path: root/user-programs
diff options
context:
space:
mode:
authorOmar Rizwan <omar@omar.website>2023-03-24 00:37:36 +0000
committerOmar Rizwan <omar@omar.website>2023-03-24 00:37:36 +0000
commit14f076094c15cc3e8312d16402f0f91ceaf3250d (patch)
tree149a1ca35950e69931da96e39885931b711b2226 /user-programs
parentrework web wish to be return-value-oriented (diff)
downloadfolk-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.folk10
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>"
}
}