Open Ivan-Velickovic opened 7 months ago
The same kind of behaviour on HTTP ends up with these messages rather than crashing:
WARN [microkit_http_server_example_server_core] error: Other(InvalidState(CloseWait))
WARN [microkit_http_server_example_server_core] error: Other(InvalidState(Closed))
WARN [microkit_http_server_example_server_core] error: Other(InvalidState(Closed))
WARN [microkit_http_server_example_server_core] error: Other(InvalidState(Closed))
WARN [microkit_http_server_example_server_core] error: Other(InvalidState(Closed))
WARN [microkit_http_server_example_server_core] error: Other(InvalidState(Closed))
WARN [microkit_http_server_example_server_core] error: Other(InvalidState(Closed))
WARN [microkit_http_server_example_server_core] error: Other(InvalidState(CloseWait))
These bugs and warnings are due to the server assuming certain behavior from the client.
I haven't put much time into addressing TCP/IP and HTTP-level edge cases in this demo yet.
Using a third-party HTTP implementation (https://github.com/sammhicks/picoserve is the only no_std
one I've found) would be one effort-efficient way to solve problems like this.
Whether I fix these issues myself or switch to using a third-party HTTP implementation instead, I'll post my progress in this thread.
The crash in this issue has been fixed with https://github.com/seL4/rust-sel4/pull/78, pulled into this repo with https://github.com/seL4/rust-microkit-http-server-demo/pull/10.
Was just clicking around after getting the example building/running and ran into this:
I'm not sure what caused it, but I think it's something to do with requesting another page before the current one finishes loading? E.g say going to https://localhost:9443/news/index.html and then reloading before the page is finished loading.