diff options
| author | krangelov <kr.angelov@gmail.com> | 2019-05-27 09:06:11 +0200 |
|---|---|---|
| committer | krangelov <kr.angelov@gmail.com> | 2019-05-27 09:06:11 +0200 |
| commit | 8df212165028242458795b1f943c7975eb434e2a (patch) | |
| tree | 49d0d8b3b195daa74cd61ec0988bbf06f58cbad2 /src/server/Cache.hs | |
| parent | 8b9719bd2d85ee16f89453c79c40d9e00f5057ad (diff) | |
| parent | b7249adf63acf717210af2fa2e552bd50473b960 (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Diffstat (limited to 'src/server/Cache.hs')
| -rw-r--r-- | src/server/Cache.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/server/Cache.hs b/src/server/Cache.hs index d05ee2557..dc1eebdba 100644 --- a/src/server/Cache.hs +++ b/src/server/Cache.hs @@ -9,7 +9,7 @@ import Data.Maybe(mapMaybe) import System.Directory (getModificationTime) import System.Mem(performGC) import Data.Time (UTCTime,getCurrentTime,diffUTCTime) -import Data.Time.Compat (toUTCTime) +--import Data.Time.Compat (toUTCTime) data Cache a = Cache { cacheLoad :: FilePath -> IO a, @@ -63,7 +63,7 @@ readCache' c file = Nothing -> do v <- newMVar Nothing return (Map.insert file v objs, v) -- Check time stamp, and reload if different than the cache entry - readObject m = do t' <- toUTCTime `fmap` getModificationTime file + readObject m = do t' <- {-toUTCTime `fmap`-} getModificationTime file now <- getCurrentTime x' <- case m of Just (t,_,x) | t' == t -> return x |
