monte web server example

web1.mt

def [=> UTF8] | _ := import("lib/codec/utf8")
def [=> makeHTTPEndpoint] | _ := import("lib/http/server")
def [=> tag] | _ := import("lib/http/tag")


def simplePage(content):
    escape badBody:
        def body := UTF8.encode(content, badBody)
        def headers := [
            "Connection" => "close",
            "Content-Length" => `${body.size()}`,
        ]
        return [200, headers, body]
    catch _:
        return null


def helloWeb(request):
    escape badRequest:
        def [[verb, path], headers] := request
        def body := tag.body(
            tag.h1("Hello!"),
            tag.p("This is a Monte webserver."),
            tag.h2("Request Info"),
            tag.p(verb),
            tag.p(path),
            tag.p(`$headers`))
        return simplePage(`$body`)
    catch _:
        return null


def start(makeSocket):
    makeHTTPEndpoint(makeSocket()).listen(helloWeb)


[=> start]

web1priv.mt

def [=> strToInt] | _ := import("lib/atoi")

def [=> start] | _ := import("../tut/web1")


def makeSocket():
    def portArg := currentProcess.getArguments().last()
    def via (strToInt) portNum := portArg
    return makeTCP4ServerEndpoint(portNum)

start(makeSocket)