diff options
Diffstat (limited to 'src/editor/simple/cloud.js')
| -rw-r--r-- | src/editor/simple/cloud.js | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/editor/simple/cloud.js b/src/editor/simple/cloud.js index cd2b9a442..fad66e1ff 100644 --- a/src/editor/simple/cloud.js +++ b/src/editor/simple/cloud.js @@ -136,6 +136,11 @@ function gfshell(cmd,cont) { // Check the syntax of an expression function check_exp(s,cont) { - // Not implemented yet!! - cont(null) + function check(gf_message) { + debug("cc "+s+" = "+gf_message); + cont(/parse error/.test(gf_message) ? "parse error" : null); + } + if(navigator.onLine) + ajax_http_get("upload.cgi?cc="+encodeURIComponent(s),check) + else cont(null) } |
