Commit Graph

26 Commits

Author SHA1 Message Date
hallgren
5dd58dfca6 gf-server.cabal: Change the default for the flag fastcgi to False
If you want the fastcgi server, use cabal install -ffastcgi.

This is to avoid problems when you only want to compile pgf-http and the
fastcgi library fails to install, which it usually does, since it depends on
a C library which is not installed automatically with cabal.
2010-12-22 14:49:17 +00:00
krasimir
9ae3a7b30d tweak gf-server.cabal 2010-12-22 12:32:13 +00:00
hallgren
72148feeb9 Install minibar and some example grammars along with pgf-http
Together with the changes to pgf-http, this should make it much easier to run
the PGF service and minibar locally.
2010-12-17 16:29:22 +00:00
hallgren
5fd4efd960 Split pgf-server into pgf-fcgi and pgf-http.
The dependency on the fastcgi package made pgf-server difficult to compile, so
it is now split into

  - pgf-fgci (main module in pgf-fcgi.hs), which is built only if fastcgi is
    already installed or if you turn on the fastcgi flag (e.g. by doing
    'cabal install -f fastcgi').

  - pgf-http (main module in pgf-http.hs) which is always built (and hopefully
    has no problematic dependencies.) 

The modules FastCGIUtils and PGFService no longer depend on fastcgi.
2010-11-26 14:30:51 +00:00
hallgren
d0efcc035c Make PGFService.hs compile again
+ PGFService.hs: add Nothing arguments in calls to PGF.parse_ and
  PGF.getPArseOutput
+ gf-server.cabal: mark content-server as not buildable, since required source
  files are missing.
2010-11-09 15:08:37 +00:00
krasimir
95733f0b1b the exhaustive/random generator now knows how to handle computable functions in the types 2010-10-11 17:18:28 +00:00
krasimir
72f505d7df update PGFService to work after the extensions in the random generation API 2010-09-30 07:35:54 +00:00
hallgren
ea67281820 Standalone HTTP version of pgf-server
pgf-server can now act as a standalone HTTP server. To activate this mode,
start it with

	pfg-server http

to use the default port number (41296), or give an explicit port number, e.g.,

	pgf-server http 8080

The HTTP server serves PGF files in the same way as the old FastCGI interface.
In addition, it also serves static files. The document root for static files
is the www subdirectory of the current directory where pgf-server is started.

In spite of these addition, backwards compatibility is maintaned. The old
FastCGI interface continues to work as before. (It is activated when
pgf-server is started without arguments.)
2010-09-01 14:08:52 +00:00
krasimir
fefd78222a fix: PGFService should type-check the trees that comes from the user 2010-07-31 10:45:59 +00:00
hallgren
ee9acfc772 Update version numbers for build-depends in gf-server.cabal 2010-04-22 14:22:55 +00:00
krasimir
f806a7890d now the PGF service communicates with Graphviz using UTF8 for the input and binary for the output 2010-04-22 14:01:08 +00:00
krasimir
a4894be101 the pgf service now compiles with the latest CGI package 2010-04-22 12:37:36 +00:00
hallgren
9fc30c11df Update version number 3.0 to 3.1 in a number of places 2009-12-15 15:27:26 +00:00
krasimir
286e60c7dc fix the directories in gf-server.cabal 2009-12-14 15:21:09 +00:00
krasimir
e3052a25bd GF.Grammar.Parser is added to gf-server.cabal to tell Cabal that he has to run Happy 2009-06-04 16:38:07 +00:00
krasimir
eed3bc5312 the morpho server is now updated and works with the current GF. the sources are moved in directory server 2009-06-04 16:26:52 +00:00
bjorn
48e90ad8bd Rename PGF Server cabal packages to pgf-server (was gf-server). 2008-12-05 19:10:51 +00:00
aarne
cfce955aa8 distinguished know_VS and know_V2 in Lexicon; patched Italian imperatives (not quite finished yet) 2008-11-05 10:22:09 +00:00
bjorn
3e40a907ca gf-server: added a way to list the available pgf files 2008-10-29 20:45:18 +00:00
bjorn
681648fb05 Rename MainFastCGI.hs to PGFService.hs. 2008-10-29 19:49:38 +00:00
bjorn
e7656c9d2e (fastcgi) replace DataRef with a more general Cache type, which can hold several PGF grammars. 2008-10-17 14:12:53 +00:00
bjorn
3ee2a7b072 A bunch of changes that make it easy to run the gf server with lighttpd 2008-10-16 13:39:09 +00:00
bjorn
e94cfd8567 Multithreaded gf.fcgi. 2008-10-16 13:00:44 +00:00
bjorn
9265be0326 fastcgi server: add /mylanguage resource, which selects the language that best matches the Accept-language header. 2008-09-17 12:22:17 +00:00
bjorn
c43e5bf979 First version of ajax / fastcgi interface with completion. 2008-08-19 12:29:31 +00:00
bjorn
38d37c4149 Added first version of the GF FastCGI server. 2008-08-14 09:06:26 +00:00