* fix divbyzero found by GetGravity test (cWindSpeed was used where cMaxWindSpeed should have been)
* make GetGravity return same integer value that was given by SetGravity (by rounding away precision errors rather than just truncate) - a problem also identified by the test :P
{-# LANGUAGE OverloadedStrings #-}
module HWProtoChecker where
import Data.Maybe
import Control.Monad.Reader
--------------------------------------
import CoreTypes
import Actions
import HandlerUtils
handleCmd_checker :: CmdHandler
handleCmd_checker ["READY"] = return [ModifyClient $ \c -> c{isReady = True}, CheckRecord]
handleCmd_checker ["CHECKED", "FAIL", msg] = do
isChecking <- liftM (isJust . checkInfo) thisClient
if not isChecking then
return []
else
return [CheckFailed msg, ModifyClient $ \c -> c{checkInfo = Nothing}]
handleCmd_checker ("CHECKED" : "OK" : info) = do
isChecking <- liftM (isJust . checkInfo) thisClient
if not isChecking then
return []
else
return [CheckSuccess info, ModifyClient $ \c -> c{checkInfo = Nothing}]
handleCmd_checker _ = return [ProtocolError "Unknown command"]