From 4989367e8888cbe1457e2c11fad2ebb9cd75fb4f Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 26 Apr 2017 14:26:59 -0400 Subject: rename fields --- Role/User.hs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'Role/User.hs') diff --git a/Role/User.hs b/Role/User.hs index 94625c2..7a1c01c 100644 --- a/Role/User.hs +++ b/Role/User.hs @@ -69,7 +69,7 @@ type Backlog = NonEmpty Log data UserState = UserState { backLog :: Backlog , userSessionKey :: MySessionKey - , userSigVerifier :: SigVerifier + , sigVerifier :: SigVerifier } -- | Start by establishing our session key, and displaying the starttxt. @@ -92,7 +92,7 @@ startProtocol starttxt ochan logger = do newTVarIO $ UserState { backLog = l :| [] , userSessionKey = sk - , userSigVerifier = mempty + , sigVerifier = mempty } -- | Forward things the user types to the Pty. @@ -206,7 +206,7 @@ getDeveloperMessage' msg ochan us now = do if verifySigned sigverifier msg then return (InputMessage msg) else return (BadlySignedMessage msg) - _ -> if verifySigned (userSigVerifier st) msg + _ -> if verifySigned (sigVerifier st) msg then case msg of ActivityMessage entered -> do -- Don't need to retain backlog @@ -227,16 +227,16 @@ getDeveloperMessage' msg ochan us now = do else return (BadlySignedMessage msg) -- | Check if the public key a developer presented is one we want to use, --- and if so, add it to the userSigVerifier. +-- and if so, add it to the sigVerifier. checkDeveloperPublicKey :: TMChan (Message Seen) -> TVar UserState -> Logger -> PublicKey -> IO () checkDeveloperPublicKey ochan us logger pk = do now <- getPOSIXTime -- TODO check gpg sig.. msg <- atomically $ do st <- readTVar us - let sv = userSigVerifier st + let sv = sigVerifier st let sv' = sv `mappend` mkSigVerifier pk - let st' = st { userSigVerifier = sv' } + let st' = st { sigVerifier = sv' } writeTVar us st' sendDeveloper ochan us (SessionKeyAccepted pk) now logger $ User msg -- cgit v1.2.3