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/compiler/GF/Server.hs | |
| parent | 9e3afea129811274ebd45e075849c3ea2722084a (diff) | |
gf -server: include grammar modification time in the info returned by /version
Diffstat (limited to 'src/compiler/GF/Server.hs')
| -rw-r--r-- | src/compiler/GF/Server.hs | 6 |
1 files changed, 4 insertions, 2 deletions
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* |