diff options
| author | hallgren <hallgren@chalmers.se> | 2014-03-19 16:15:05 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-03-19 16:15:05 +0000 |
| commit | b061d59044b0cc689cf270617364ab36c8a0792f (patch) | |
| tree | b3cf29ad4a7ae608be8b0de043fd055d7b046e5d /src/compiler | |
| parent | cbb538e170c9a7233e2ca438db8560d60fd91609 (diff) | |
gf -server: add a command to manually flush the PGF cache
This can be used if the cloud service seems slow, but it would probably
be better to automatically expire unused PGFs from the cache after some time.
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/GFServer.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/GFServer.hs b/src/compiler/GFServer.hs index dc805906f..cad43a97d 100644 --- a/src/compiler/GFServer.hs +++ b/src/compiler/GFServer.hs @@ -152,6 +152,7 @@ handle logLn documentroot state0 cache execute1 stateVar -- "/start" -> "/parse" -> parse (decoded qs) "/version" -> return (ok200 gf_version) + "/flush" -> do PS.flushPGFCache cache; return (ok200 "flushed") '/':rpath -> -- This code runs without mutual exclusion, so it must *not* -- use/change the cwd. Access files by absolute paths only. |