Add POSIX time in addition to real time in minTime

src/Explorer/Web/ContractView.hs

@@ -238,15 +238,19 @@ renderTime =
 
 renderMState :: Maybe State -> Html
 renderMState Nothing = string "Contract closed"
-renderMState (Just st) = table $ do
-  tr $ do td $ b "accounts"
-          td . renderMAccounts . accounts $ st
-  tr $ do td $ b "bound values"
-          td . string . renderBoundValues . boundValues $ st
-  tr $ do td $ b "choices"
-          td . string . renderChoices . choices $ st
-  tr $ do td $ b "minTime"
-          td . renderTime . minTime $ st
+renderMState (Just (State { accounts    = accs
+                          , choices     = chos
+                          , boundValues = boundVals
+                          , minTime     = mtime })) =
+  table $ do tr $ do td $ b "accounts"
+                     td $ renderMAccounts accs
+             tr $ do td $ b "bound values"
+                     td $ string $ renderBoundValues boundVals
+             tr $ do td $ b "choices"
+                     td $ string $ renderChoices chos
+             tr $ do td $ b "minTime"
+                     td $ do renderTime mtime
+                             string $ " (POSIX: " ++ show mtime ++ ")"
 
 renderMContract :: Maybe Contract -> Html
 renderMContract Nothing = string "Contract closed"

src/Explorer/Web/Util.hs

@@ -57,7 +57,6 @@ stringToHtml str = mconcat $ map processLine $ lines str
 generateLink :: String -> [(String, String)] -> String
 generateLink path params = path ++ unpack (renderSimpleQuery True (map (bimap pack pack) params))
 
-
 prettyPrintAmount :: Int -> Integer -> String
 prettyPrintAmount decimalPositions amount = if decimals /= [] then integers ++ '.':decimals else integers
   where (revDecimals, revIntegers) = splitAt decimalPositions $ reverse (show amount)