Add a timeout to the `PeerServer` event loop.#65

Merged

dconnolly merged 4 commits intomainfrom peer-request-timeout

Oct 15, 2019

+74-70

Commits on Oct 11, 2019

Commits on Oct 15, 2019

Rename bound vars in match arms for PeerServer state machine

dconnolly
and
hdevalence
committed