diff options
| author | hallgren <hallgren@chalmers.se> | 2015-04-17 13:21:20 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-04-17 13:21:20 +0000 |
| commit | 3263968c7985168772875ea1b005425c044cc52d (patch) | |
| tree | 1b50f2c1bd694b3aad962e05273bb7e4d629e49d /src/server | |
| parent | 9e3afea129811274ebd45e075849c3ea2722084a (diff) | |
gf -server: include grammar modification time in the info returned by /version
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/Cache.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/server/Cache.hs b/src/server/Cache.hs index d841a2291..d05ee2557 100644 --- a/src/server/Cache.hs +++ b/src/server/Cache.hs @@ -38,11 +38,13 @@ expireCache age c = performGC -- | List currently cached files -listCache :: Cache a -> IO [FilePath] +listCache :: Cache a -> IO [(FilePath,UTCTime)] listCache c = fmap (mapMaybe id) . mapM check . Map.toList =<< readMVar (cacheObjects c) where - check (path,v) = maybe Nothing (const (Just path)) `fmap` readMVar v + check (path,v) = maybe Nothing (Just . (,) path . fst3) `fmap` readMVar v + +fst3 (x,y,z) = x -- | Lookup a cached object (or read the file if it is not in the cache or if -- it has been modified) |