| Commit message (Collapse) | Author | Age |
|---|
| ... | |
| |
|
|
|
|
| |
And part of what we need to have users verify them.
This commit was sponsored by andrea rota.
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
| |
Time is relative, so the debug-me proof chain doesn't prove when things
happened, but it's still useful to have some idea of how long things
took to happen. This makes --replay work with logs gotten by --download.
Log still includes loggedTimestamp. This is a bit redundant, and is
unused now, but it's useful for log files to record when messages were
received.
This commit was sponsored by Riku Voipio.
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
messages
This makes --download always work, which was the real motivation.
It's probably a good ways to having multiple connected developers able
to simulantaneously interact. I tested that breifly, and it seems to
work ok! It may however, not handle it perfectly when both developers
are trying to type at the same time. Still, nice that's basically
working for free!
This commit was sponsored by Jeff Goeke-Smith on Patreon.
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
Including the process exit status.
And cleaner Role.User shutdown sequence.
|
| | |
|
| |
|
|
| |
Now when the user quits, the developer also exits.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
Does not currently work, see
https://github.com/jaspervdj/websockets/issues/140
|
| | |
|
| |
|
|
| |
Oops, it got truncated otherwise..
|
| | |
|
| |
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
| |
avoid processing it in memory, and allow parse errors at end to not
prevent displaying part of it
|
| | |
|
| | |
|
| |
|
|
|
|
| |
For some reason, runClient throws ConnectionClosed on apparently clean
shutdown. This happens even though clientApp uses sendClose, and the
server receives it and shuts down entirely cleanly.
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
This commit was sponsored by Ewen McNeill.
|
| |
|
|
|
|
|
| |
Nice, was able to reuse all the protocol stuff from Role.Developer for
this.
This commit was sponsored by Fernando Jimenez on Patreon.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
| |
Incomplete, but the client is able to connect and send messages which
get logged.
Split up debug-me.hs into Role/*
Switched from cereal to binary, since websockets operate on lazy
ByteStrings, and using cereal would involve a copy on every receive.
This commit was sponsored by Boyd Stephen Smith Jr. on Patreon.
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
| |
I tried both binary and cereal. For a ActivityMessage that takes 341
bytes in JSON and has a dataSize of 129, both used 165 bytes. Went with
cereal since lazy bytestrings are not needed, and I might want to use
https://hackage.haskell.org/package/safecopy later.
(Perhaps I should be using protocol buffers or something to make it
easier for non-haskell implementations? But that would complicate things
a lot.)
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
This commit was sponsored by Ethan Aubin.
|
| |
|
|
|
|
|
|
|
| |
Make Control messages be out-of-band async messages, without a pointer
to a previous message.
And then followed the type change through the code for hours..
This commit was sponsored by Nick Daly on Patreon.
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
backlog is not only Seen activities now
|
| | |
|
| |
|
|
|
| |
Will use Ed25519 because it's from DJB and well regarded and in common
use now.
|
