diff options
Diffstat (limited to 'src/server/PGFService.hs')
| -rw-r--r-- | src/server/PGFService.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index 3441554ec..4024c0496 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -1,7 +1,7 @@ {-# LANGUAGE CPP #-} module PGFService(cgiMain,cgiMain',getPath, logFile,stderrToFile, - newPGFCache,flushPGFCache) where + newPGFCache,flushPGFCache,listPGFCache) where import PGF (PGF) import qualified PGF @@ -57,11 +57,13 @@ newPGFCache = do pgfCache <- newCache PGF.readPGF return (pgf,({-pc-})) return (pgfCache,cCache) flushPGFCache (c1,c2) = flushCache c1 >> flushCache c2 +listPGFCache (c1,c2) = (,) # listCache c1 % listCache c2 #else type Caches = (Cache PGF,()) newPGFCache = do pgfCache <- newCache PGF.readPGF return (pgfCache,()) flushPGFCache (c1,_) = flushCache c1 +listPGFCache (c1,_) = (,) # listCache c1 % return [] #endif getPath = |