diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/gfse/cloud2.js | 3 | ||||
| -rw-r--r-- | src/www/js/support.js | 32 |
2 files changed, 21 insertions, 14 deletions
diff --git a/src/www/gfse/cloud2.js b/src/www/gfse/cloud2.js index d949a6ccc..ce5371145 100644 --- a/src/www/gfse/cloud2.js +++ b/src/www/gfse/cloud2.js @@ -259,7 +259,8 @@ function gfshell(cmd,cont) { // Check the syntax of a source module function check_module(path,source,cont) { var enc=encodeURIComponent; - http_get_json("/parse?"+enc(path)+"="+enc(source),cont) + //http_get_json("/parse?"+enc(path)+"="+enc(source),cont) + ajax_http_post_json("/parse",enc(path)+"="+enc(source),cont) } // Check the syntax of an expression diff --git a/src/www/js/support.js b/src/www/js/support.js index 41b736855..eefda3f8b 100644 --- a/src/www/js/support.js +++ b/src/www/js/support.js @@ -31,28 +31,28 @@ if(!Array.isArray) { /* --- JSONP ---------------------------------------------------------------- */ -// Inspired by the function jsonp from +// Inspired by the function jsonp from // http://www.west-wind.com/Weblog/posts/107136.aspx // See also http://niryariv.wordpress.com/2009/05/05/jsonp-quickly/ // http://en.wikipedia.org/wiki/JSONP function jsonp(url,callback) -{ +{ if (url.indexOf("?") > -1) - url += "&jsonp=" + url += "&jsonp=" else - url += "?jsonp=" + url += "?jsonp=" url += callback; - //url += "&" + new Date().getTime().toString(); // prevent caching - - var script = empty("script"); + //url += "&" + new Date().getTime().toString(); // prevent caching + + var script = empty("script"); script.setAttribute("src",url); - script.setAttribute("type","text/javascript"); + script.setAttribute("type","text/javascript"); document.body.appendChild(script); } var json = {next:0}; -// Like jsonp, but instead of passing the name of the callback function, you +// Like jsonp, but instead of passing the name of the callback function, you // pass the callback function directly, making it possible to use anonymous // functions. function jsonpf(url,callback,errorcallback) @@ -65,7 +65,7 @@ function jsonpf(url,callback,errorcallback) /* --- AJAX ----------------------------------------------------------------- */ function GetXmlHttpObject(handler) -{ +{ var objXMLHttp=null if (window.XMLHttpRequest) { @@ -116,9 +116,15 @@ function ajax_http_post(url,formdata,callback,errorcallback) { // JSON via AJAX function ajax_http_get_json(url,cont,errorcallback) { - ajax_http_get(url,function(txt){cont(eval("("+txt+")"));}, errorcallback); + ajax_http_get(url, with_json(cont), errorcallback); } +function ajax_http_post_json(url,formdata,cont,errorcallback) { + ajax_http_post(url, formdata, with_json(cont), errorcallback); +} + +function with_json(cont) { return function(txt){cont(eval("("+txt+")"));} } + function sameOrigin(url) { var a=empty("a"); a.href=url; // converts to an absolute URL @@ -169,7 +175,7 @@ function wrap(tag,contents) { function wrap_class(tag,cls,contents) { return node(tag,{"class":cls}, - contents ? Array.isArray(contents) ? + contents ? Array.isArray(contents) ? contents : [contents] : []) } @@ -310,7 +316,7 @@ function map(f,xs) { return ys; } -// map in continuation passing style +// map in continuation passing style function mapc(f,xs,cont) { mapc_from(f,xs,0,[],cont); } function mapc_from(f,xs,i,ys,cont) { |