From 04d2dc757c34d76711a237b583855e111e4486a7 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 10 Oct 2011 16:16:16 +0000
Subject: 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
---
 src/editor/simple/cloud.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/editor/simple/cloud.js')

diff --git a/src/editor/simple/cloud.js b/src/editor/simple/cloud.js
index fad66e1ff..44b7d8157 100644
--- a/src/editor/simple/cloud.js
+++ b/src/editor/simple/cloud.js
@@ -137,7 +137,7 @@ function gfshell(cmd,cont) {
 // Check the syntax of an expression
 function check_exp(s,cont) {
     function check(gf_message) {
-	debug("cc "+s+" = "+gf_message);
+	//debug("cc "+s+" = "+gf_message);
 	cont(/parse error/.test(gf_message) ? "parse error" : null);
     }
     if(navigator.onLine)
-- 
cgit v1.2.3