File tree Expand file tree Collapse file tree
tools/db/mls-users/src/MlsUsers Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ Fix bug where the mls-users tool would crash for users with null `supported_protocols`
Original file line number Diff line number Diff line change @@ -42,7 +42,7 @@ getUserResult logger brigClient ur = do
4242 andM
4343 [ pure ur. activated,
4444 pure $ ur. status == Just Active ,
45- pure $ Set. notMember BaseProtocolMLSTag ur. supportedProtocols,
45+ pure $ Set. notMember BaseProtocolMLSTag (fold ur. supportedProtocols) ,
4646 -- check that the user has at least one active client
4747 do
4848 now <- getCurrentTime
Original file line number Diff line number Diff line change @@ -36,7 +36,7 @@ data UserRow = UserRow
3636 { userId :: UserId ,
3737 activated :: Bool ,
3838 status :: Maybe AccountStatus ,
39- supportedProtocols :: Set BaseProtocolTag
39+ supportedProtocols :: Maybe ( Set BaseProtocolTag )
4040 }
4141 deriving (Generic )
4242
You can’t perform that action at this time.
0 commit comments