add protocol version

This is distinct from the wire protocol version used in the websocket
framing of messages. Versioning the high level protocol will let later
features be added.

The user controls the protocol version, since they send the first
several messages. Developers that connect need to avoid using features
from newer protocol versions.

So, developers and servers will need to support the most recent version,
while the user can have an old version of debug-me and it will continue
to work.

This commit changes the protocol buffer encoding, and is the last such
free change. All changes past this point will need to be versioned.

This commit was sponsored by Jochen Bartl on Patreon.

1 files changed, 2 insertions, 2 deletions

diff --git a/Verify.hs b/Verify.hs
index 63e81f6..c485683 100644
--- a/Verify.hs
+++ b/Verify.hs
@@ -31,9 +31,9 @@ verify opts = go 1 startState =<< streamLog (verifyLogFile opts)
 
 		-- Learn session keys before verifying signatures.
 		st' <- case msg of
-			User (ControlMessage (Control { control = SessionKey sk })) ->
+			User (ControlMessage (Control { control = SessionKey sk _ })) ->
 				addSessionKey lineno sk st
-			Developer (ControlMessage (Control { control = SessionKey sk })) ->
+			Developer (ControlMessage (Control { control = SessionKey sk _ })) ->
 				addSessionKey lineno sk st
 			_ -> return st