diff options
| author | Jacob Haip <jhaip@users.noreply.github.com> | 2023-03-24 00:54:09 +0000 |
|---|---|---|
| committer | Jacob Haip <jhaip@users.noreply.github.com> | 2023-03-24 00:54:09 +0000 |
| commit | 7f15afd6e62c4487d7d7e39d3d8d866b40c541e8 (patch) | |
| tree | 39361a1dcd58d3cdfbc11570c07ad38b46ee6b25 /virtual-programs | |
| parent | Some cleanup of unneeded returns/variable use in web (diff) | |
| download | folk-7f15afd6e62c4487d7d7e39d3d8d866b40c541e8.tar.gz folk-7f15afd6e62c4487d7d7e39d3d8d866b40c541e8.zip | |
update web editors to match to wish syntax
Diffstat (limited to 'virtual-programs')
| -rw-r--r-- | virtual-programs/new-program-web-editor.folk | 4 | ||||
| -rw-r--r-- | virtual-programs/web-editor.folk | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/virtual-programs/new-program-web-editor.folk b/virtual-programs/new-program-web-editor.folk index da148230..67a18832 100644 --- a/virtual-programs/new-program-web-editor.folk +++ b/virtual-programs/new-program-web-editor.folk @@ -1,5 +1,5 @@ -Wish the Web server handles route "/new" with handler { - set html { +Wish the web server handles route "/new" with handler { + html { <html> <head> <style> diff --git a/virtual-programs/web-editor.folk b/virtual-programs/web-editor.folk index f701a72b..5b68746d 100644 --- a/virtual-programs/web-editor.folk +++ b/virtual-programs/web-editor.folk @@ -1,9 +1,9 @@ -Wish the Web server handles route {/page/(\d*)$} with handler { +Wish the web server handles route {/page/(\d*)$} with handler { if {[regexp -all {/page/(\d*)$} $path whole_match pageNumber]} { set fp [open "../folk-printed-programs/$pageNumber.folk" r] set file_data [read $fp] close $fp - set html [string map [list file_data [htmlEscape $file_data] my_page_number $pageNumber] { + html [string map [list file_data [htmlEscape $file_data] my_page_number $pageNumber] { <html> <body> <div> |