method
Http.received
Http.received(handle) -> int
Returns how many bytes of the response body have arrived. For a request given Http.save_to it is updated live while the request is pending — the bytes already written to the file — which is what a progress bar reads. For an ordinary in-memory request it is 0 until the reply lands, then the body length. 0 before Http.send.
Example
program Demo {
var dl: int = 0
handler Bar phase Render {
let got = Http.received(handle: dl)
let all = Http.expected(handle: dl)
if all > 0 { Screen.bar(x: 8, y: 8, width: 200, height: 6, value: got / 1024, max: all / 1024, color: 0x55cc77, back: 0x222222) }
}
}