chiark / gitweb /
panic handling in webserver task too
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 Aug 2021 17:12:12 +0000 (18:12 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 Aug 2021 17:12:12 +0000 (18:12 +0100)
commitf3a7d0d19a1c2bc55d9c3467f9f81765ebd2a7f5
treedb15d42195c4661f12730bb643dd1b293a5d67f6
parentdec033967d7917ceab34f0a29461959961b7b74d
panic handling in webserver task too

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
server/server.rs
src/prelude.rs