From 3263968c7985168772875ea1b005425c044cc52d Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Fri, 17 Apr 2015 13:21:20 +0000
Subject: gf -server: include grammar modification time in the info returned by
 /version

---
 src/compiler/GF/Server.hs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/compiler')

diff --git a/src/compiler/GF/Server.hs b/src/compiler/GF/Server.hs
index 346f1c6be..c2b163d44 100644
--- a/src/compiler/GF/Server.hs
+++ b/src/compiler/GF/Server.hs
@@ -162,8 +162,10 @@ handle logLn documentroot state0 cache execute1 stateVar
 --         "/start"   ->
            "/parse"   -> parse (decoded qs)
            "/version" -> do (c1,c2) <- PS.listPGFCache cache
-                            let rel = map (makeRelative documentroot)
-                            return $ ok200 (unlines (gf_version:"":rel c1++"":rel c2))
+                            let rel = makeRelative documentroot
+                                sh1 (path,t) = rel path++" "++show t
+                                sh = map sh1
+                            return $ ok200 (unlines (gf_version:"":sh c1++"":sh c2))
            "/flush"   -> do PS.flushPGFCache cache; return (ok200 "flushed")
            '/':rpath ->
              -- This code runs without mutual exclusion, so it must *not*
-- 
cgit v1.2.3