Mercurial Hosting > luan
comparison website/src/goodjava.html.luan @ 1929:31f006c64782
translation
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Thu, 01 May 2025 18:31:05 -0600 |
parents | 50e570b598b2 |
children |
comparison
equal
deleted
inserted
replaced
1928:e16f38f4fdfc | 1929:31f006c64782 |
---|---|
1 local Luan = require "luan:Luan.luan" | 1 local Luan = require "luan:Luan.luan" |
2 local error = Luan.error | 2 local error = Luan.error |
3 local Io = require "luan:Io.luan" | 3 local Io = require "luan:Io.luan" |
4 local Http = require "luan:http/Http.luan" | 4 local Site_translator = require "luan:gpt/Site_translator.luan" |
5 local get_lang = Site_translator.get_lang or error() | |
6 local text_writer = Site_translator.text_writer or error() | |
5 local Shared = require "site:/lib/Shared.luan" | 7 local Shared = require "site:/lib/Shared.luan" |
6 local head = Shared.head or error() | 8 local head = Shared.head or error() |
7 local header = Shared.header or error() | 9 local header = Shared.header or error() |
8 local show_toc = Shared.show_toc or error() | 10 local show_toc = Shared.show_toc or error() |
9 local show_content = Shared.show_content or error() | 11 local show_content = Shared.show_content or error() |
98 } | 100 } |
99 } | 101 } |
100 | 102 |
101 | 103 |
102 return function() | 104 return function() |
103 Io.stdout = Http.response.text_writer() | 105 Io.stdout = text_writer() |
104 %> | 106 %> |
105 <!doctype html> | 107 <!doctype html> |
106 <html> | 108 <html lang="<%=get_lang()%>"> |
107 <head> | 109 <head> |
108 <% head() %> | 110 <% head() %> |
109 <title>The goodjava Library</title> | 111 <title>The goodjava Library</title> |
110 </head> | 112 </head> |
111 <body> | 113 <body> |