diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-04-22 13:00:04 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-04-22 13:00:04 -0400 |
commit | 7987157bfd99b8e2ec78f5030a49c2e16bf08321 (patch) | |
tree | 68230afb5bac635426d7c50c86bbc5345e4fc4b6 /Types.hs | |
parent | 362d3a437c16c10d221caeac21e9f685d7ddf3e6 (diff) | |
download | debug-me-7987157bfd99b8e2ec78f5030a49c2e16bf08321.tar.gz |
it works
Multi-user client-server debug-me is working, almost perfectly.
All that was missing was replaying the log when the developer connected.
A number of race conditions had to be avoided to do that sanely.
This commit was sponsored by Ignacio on Patreon.
Diffstat (limited to 'Types.hs')
0 files changed, 0 insertions, 0 deletions