Crashing on HTTPS #9
Description
Was just clicking around after getting the example building/running and ran into this:
MON|INFO: Microkit Bootstrap
MON|INFO: bootinfo untyped list matches expected list
MON|INFO: Number of bootstrap invocations: 0x0000000e
MON|INFO: Number of system invocations: 0x000013cd
MON|INFO: completed bootstrap invocations
MON|INFO: completed system invocations
INFO [sel4_async_network] DHCP config lost
INFO [sel4_async_network] DHCP config acquired
INFO [sel4_async_network] IP address: 10.0.2.15/24
INFO [sel4_async_network] Default gateway: 10.0.2.2
INFO [sel4_async_network] DNS server 0: 10.0.2.3
http_server: panicked at 'assertion failed: `(left != right)`
left: `0`,
right: `0`', /work/crates/pds/server/core/src/server.rs:44:17
aborted at 'main thread panicked', /home/x/.cargo/git/checkouts/rust-sel4-a4edf3b9624837c3/4a2e125/crates/sel4-microkit/src/entry.rs:68:19
received message 0x00000003 badge: 0x0000000000000001 tcb cap: 0x800000000000138d
faulting PD: http_server
Registers:
pc : 0x00000000002c4914
spsr : 0x0000000060000040
x0 : 0x0000000000000000
x1 : 0x0000000000000000
x2 : 0x0000000000000000
x3 : 0x0000000000000000
x4 : 0x0000000000000000
x5 : 0x0000000000000000
x6 : 0x0000000000000000
x7 : 0xfffffffffffffff4
UserException
<<seL4(CPU 0) [receiveIPC/142 T0xffffff807ffe7400 "rootserver" @8a000300]: Reply object already has unexecuted reply!>>
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.