method BodyReader.read

use std.http { Server, ServerConfig, ServerHandle, Router, Request, Reply, Client, Header, HttpConfig, Response, Middleware, Next, withMiddleware, requireHeader, logRequests, timing, WebSocket, WsConfig, SseWriter, BodyWriter, chunks }

fn body(req: Request) -> str {
  match req.text() {
    str t => t
    DecodeError _ => ""
  }
}

fn run() -> () | NetError | DecodeError | Panicked  net, io, time {
  let srv = Server.bind(ServerConfig{ port: 0, followNode: false })?
  defer srv.close()
  let stop = srv.handle()
  let base = "http://127.0.0.1:{srv.port()}"
  let router = Router.new().post("/up", (req: Request) => {
    let r = req.stream()
    var total = 0
    var more = true
    while more {
      match r.read(4) {
        bytes b => total += b.len()
        NetError _ => more = false
        none => more = false
      }
    }
    Reply.text("{total}")
  })
  scope {
    spawn stop.serve(router)
    let r = Client.postText("{base}/up", "0123456789")?
    print(r.text()?)
    stop.shutdown()
    ()
  }?
}

fn main() io, net, time {
  match run() {
    NetError _ => print("net error")
    DecodeError _ => print("decode error")
    Panicked _ => print("panicked")
    _ => {}
  }
}

10