Mercurial Hosting > luan
comparison website/src/pil.html.luan @ 1929:31f006c64782 default tip
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 docs_header = Shared.docs_header or error() | 9 local docs_header = Shared.docs_header or error() |
8 | 10 |
9 | 11 |
10 return function() | 12 return function() |
11 Io.stdout = Http.response.text_writer() | 13 Io.stdout = text_writer() |
12 %> | 14 %> |
13 <!doctype html> | 15 <!doctype html> |
14 <html> | 16 <html lang="<%=get_lang()%>"> |
15 <head> | 17 <head> |
16 <% head() %> | 18 <% head() %> |
17 <title>Programming in Lua</title> | 19 <title>Programming in Lua</title> |
18 </head> | 20 </head> |
19 <body> | 21 <body> |