diff options
| author | hallgren <hallgren@chalmers.se> | 2014-01-27 16:32:09 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-01-27 16:32:09 +0000 |
| commit | b3251f402df4e1f7ddf775fc0627430f5d309846 (patch) | |
| tree | 6e416d50fe112e7381e7d7eeb2038d7e126cf87d /src/server/exec/ContentService.hs | |
| parent | 88341987a812931435f373d32ac19f5d77585a31 (diff) | |
PGFService.hs: add a cache for C run-time parse result and a start offset parameter
Cached parse results are discarded when they have been unused for 10 minutes.
Diffstat (limited to 'src/server/exec/ContentService.hs')
0 files changed, 0 insertions, 0 deletions