7 Commits

Author	SHA1	Message	Date
hallgren	864d329336	Show version & configuration info when gf -server starts	2011-10-12 19:00:42 +00:00
hallgren	50605036dd	Bug fixes for gf -server mode and setup	2011-10-12 18:27:46 +00:00
hallgren	fa4af3d043	Improvements of "gf -server" mode and related setup ... "gf -server" mode now contains everything needed to run the minibar and the grammar editor (including example-based grammar writing). The Setup.hs script installs the required files where gf -server can find them. These files have been moved to a new directory: src/www. The separate server program pgf-http is now obsolete.	2011-10-12 17:03:54 +00:00
hallgren	7b9f63938d	More work on support for gfse in "gf -server" mode	2011-10-11 19:17:47 +00:00
hallgren	51a15531ce	Add cloud services needed by gfse to "gf -server" mode	2011-10-10 19:46:57 +00:00
hallgren	b318509528	More functionality in "gf -server" mode ... "gf -server" mode now includes PGF service and the services to support example-based grammar writing. (But gf -server is not quite ready to replace pgf-http yet...) Also bumped GF version number to 3.2.10-darcs	2011-10-10 16:16:16 +00:00
hallgren	3488632558	Added a preliminary "gf -server" mode. ... The command "gf -server" now starts a simple HTTP server on port 41295, providing a simple web API to the GF compiler. It currently support the follwing operations: * creating new temporary directories for grammar uploads, * uploading grammars files for use in the GF shell, * executing GF shell commands, and * accessing static files. This means that GF now depends on some additional networking related packages, but they should be available and easy to install on all platforms. There is also a new configuration flag "server" in gf.cabal, so GF will be compiled without support for server mode if the extra packages are unavailable. Note that running gf -server while connected to the internet can be a security risk. To prevent unauthorized access to the rest of the system, it is advisable to run the server in GF_RESTRICTED mode and as a user with suitably restricted file permissions.	2011-04-13 14:58:01 +00:00