Private
Public Access
root
6f59181f09
Keep the compile-time generic marker as *. Update the compiler, stdlib, fixtures, documentation and editor grammars without a dynamic type alias. Preserve native identifiers and historical work and patch records. Replace the port_spawn environment argument with cwd/env options. Report failed directory changes through EXIT 127 with cwd_failed. Compile every API example and add a complete Pi RPC service example. Service examples compile without execution or output blocks. Update ABI versions and audited golden artifacts.
11 lines
915 B
Plaintext
11 lines
915 B
Plaintext
function RENDER(request : any)
|
|
{
|
|
request.out.headers["Refresh"] = "2"
|
|
request.out.headers["Content-Type"] = "text/html; charset=utf-8"
|
|
var source := string(request.call.error.source)
|
|
print("<!doctype html><html lang=\"en\"><head><meta charset=\"utf-8\"></meta><meta http-equiv=\"refresh\" content=\"2\"></meta><title>Building page...</title><style>body{font-family:system-ui,sans-serif;background:#0f172a;color:#e2e8f0;margin:0;min-height:100vh;display:flex;align-items:center;justify-content:center}main{text-align:center;max-width:40rem;padding:2rem}.pulse{width:3rem;height:3rem;margin:0 auto 1.5rem;border-radius:50%;background:#38bdf8}code{color:#94a3b8;font-size:.85rem}</style></head><body><main><div class=\"pulse\"></div><h1>Building this page...</h1><p>The page is being compiled and will load automatically in a moment.</p><p><code>",
|
|
html_escape(source),
|
|
"</code></p></main></body></html>"
|
|
)
|
|
}
|