mirror of
https://github.com/jart/cosmopolitan.git
synced 2025-02-01 03:53:33 +00:00
80b211e314
This change introduces a `-W /dev/pts/1` flag to redbean. What it does is use the mincore() system call to create a dual-screen terminal display that lets you troubleshoot the virtual address space. This is useful since page faults are an important thing to consider when using a forking web server. Now we have a colorful visualization of which pages are going to fault and which ones are resident in memory. The memory monitor, if enabled, spawns as a thread that just outputs ANSI codes to the second terminal in a loop. In order to make this happen using the new clone() polyfill, stdio is now thread safe. This change also introduces some new demo pages to redbean. It also polishes the demos we already have, to look a bit nicer and more presentable for the upcoming release, with better explanations too.
66 lines
2.1 KiB
Lua
66 lines
2.1 KiB
Lua
-- Fetch() API Demo
|
|
|
|
local function WriteForm(url)
|
|
Write([[<!doctype html>
|
|
<title>redbean fetch demo</title>
|
|
<style>
|
|
body { padding: 1em; }
|
|
h1 a { color: inherit; text-decoration: none; }
|
|
h1 img { border: none; vertical-align: middle; }
|
|
input { margin: 1em; padding: .5em; }
|
|
pre { margin-left: 2em; }
|
|
p { word-break: break-word; max-width: 650px; }
|
|
dt { font-weight: bold; }
|
|
dd { margin-top: 1em; margin-bottom: 1em; }
|
|
.hdr { text-indent: -1em; padding-left: 1em; }
|
|
</style>
|
|
<h1>
|
|
<a href="/"><img src="/redbean.png"></a>
|
|
<a href="fetch.lua">redbean fetch demo</a>
|
|
</h1>
|
|
<p>
|
|
Your redbean is able to function as an HTTP client too.
|
|
Lua server pages can use the <code>Fetch()</code> API to
|
|
to send outgoing HTTP and HTTPS requests to other web
|
|
servers. All it takes is a line of code!
|
|
</p>
|
|
<form action="fetch.lua" method="post">
|
|
<input type="text" id="url" name="url" size="70"
|
|
value="%s" placeholder="uri" autofocus>
|
|
<input type="submit" value="fetch">
|
|
</form>
|
|
]] % {EscapeHtml(url)})
|
|
end
|
|
|
|
local function main()
|
|
if IsPublicIp(GetClientAddr()) then
|
|
ServeError(403)
|
|
elseif GetMethod() == 'GET' or GetMethod() == 'HEAD' then
|
|
WriteForm("https://www.cloudflare.com/robots.txt")
|
|
elseif GetMethod() == 'POST' then
|
|
status, headers, payload = Fetch(GetParam('url'))
|
|
WriteForm(GetParam('url'))
|
|
Write('<dl>\r\n')
|
|
Write('<dt>Status\r\n')
|
|
Write('<dd><p>%d %s\r\n' % {status, GetHttpReason(status)})
|
|
Write('<dt>Headers\r\n')
|
|
Write('<dd>\r\n')
|
|
for k,v in pairs(headers) do
|
|
Write('<div class="hdr"><strong>')
|
|
Write(EscapeHtml(k))
|
|
Write('</strong>: ')
|
|
Write(EscapeHtml(v))
|
|
Write('</div>\r\n')
|
|
end
|
|
Write('<dt>Payload\r\n')
|
|
Write('<dd><pre>')
|
|
Write(EscapeHtml(VisualizeControlCodes(payload)))
|
|
Write('</pre>\r\n')
|
|
Write('</dl>\r\n')
|
|
else
|
|
ServeError(405)
|
|
SetHeader('Allow', 'GET, HEAD, POST')
|
|
end
|
|
end
|
|
|
|
main()
|