async proto basically working
authorJoey Hess <joeyh@joeyh.name>
Thu, 13 Aug 2020 19:49:43 +0000 (15:49 -0400)
committerJoey Hess <joeyh@joeyh.name>
Thu, 13 Aug 2020 19:52:12 +0000 (15:52 -0400)
commit7546e686a2e35d9579ce9960307f311c3565583c
treef282650c59deff01f0cf18a642f55fdb2e227157
parentc9e8cafb98c8462a78b2e95529ee0dc183e8e5e4
async proto basically working

Simplified the protocol by removing END-ASYNC.

There's a STM crash when a non-async protocol message is sent, which
needs to be fixed.
Remote/External.hs
Remote/External/AsyncExtension.hs
Remote/External/Types.hs
doc/design/external_special_remote_protocol/async_appendix.mdwn