From 7c9ff164bf89b6f39da5ad2c43f7772324e1c141 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 12 May 2014 13:45:36 +0000
Subject: gf -server: include list of loaded PGFs in version info

---
 src/server/PGFService.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/server/PGFService.hs')

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 =
-- 
cgit v1.2.3