diff options
| -rw-r--r-- | src/server/PGFService.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index 502689f95..4647c4eb4 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -86,6 +86,8 @@ newPGFCache _ = do pgfCache <- newCache' PGF.readPGF lblCache <- newCache' (fmap PGF.getDepLabels . readFile) return $ Caches pgfCache lblCache flushPGFCache c = flushCache (pgfCache c) + +listPGFCache :: Caches -> IO ([(FilePath,UTCTime)],[(FilePath,UTCTime)]) listPGFCache c = (,) # listCache (pgfCache c) % return [] #endif |