5 Commits

Author	SHA1	Message	Date
hallgren	d1da0e06de	PGF web service: add unlexers and enable client side caching ... Most PGF web API commands that produce linearizations now accept an unlexer parameter. Possible values are "text", "code" and "mixed". The web service now include Date and Last-Modified headers in the HTTP, responses. This means that browsers can treat responses as static content and cache them, so it becomes less critical to cache parse results in the server. Also did some cleanup in PGFService.hs, e.g. removed a couple of functions that can now be imported from PGF.Lexing instead.	2014-04-09 17:51:25 +00:00
hallgren	b061d59044	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.	2014-03-19 16:15:05 +00:00
Sergei Trofimovich	0173b5f4ff	ghc-7.6: allow directory-1.2 ... Get rid of old-time depend (and ClockTime in favour of UTCTime). time-compat helps to retain backward compatibility with directory-1.1 and lower.	2013-03-09 21:38:43 +00:00
bjorn	d205011470	fastcgi: better grammar cache implementation: don't deadlock on exceptions	2008-10-20 08:24:01 +00:00
bjorn	0205f341f5	(fastcgi) replace DataRef with a more general Cache type, which can hold several PGF grammars.	2008-10-17 14:12:53 +00:00