GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

support.js & gftranslate.js: improved handling of server errors

Browse Source 
In support.js, the functions http_get_json, ajax_http_get_json
and ajax_http_post_json now calls the supplied error callback if the server
returns invalid JSON (e.g. because of a crash).

The function gftranslate.translate in gftranslate.js returns
a JSON value containing an error message (since it doesn't have an error
callback).

This should result in fewer situations where "nothing happens" and the user
doesn't know if it is beacuse the server is slow, or if there was an error.
This commit is contained in:
hallgren
2014-03-27 15:02:27 +00:00
parent 911ae42296
commit 9bfed99790
2 changed files with 24 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/www/js/gftranslate.js
View File

@@ -7,7 +7,10 @@ gftranslate.jsonurl="/robust/Translate8.pgf"
gftranslate.grammar="Translate" // the name of the grammar
gftranslate.call=function(querystring,cont) {
http_get_json(gftranslate.jsonurl+querystring,cont)
function errcont(text,code) {
cont([{translations:[{error:code+" "+text}]}])
}
http_get_json(gftranslate.jsonurl+querystring,cont,errcont)
}
// Translate a sentence

23
src/www/js/support.js
View File

@@ -125,14 +125,31 @@ function ajax_http_post(url,formdata,callback,errorcallback) {
// JSON via AJAX
function ajax_http_get_json(url,cont,errorcallback) {
ajax_http_get(url, with_json(cont), errorcallback);
ajax_http_get(url, with_json(cont,errorcallback), errorcallback);
}
function ajax_http_post_json(url,formdata,cont,errorcallback) {
ajax_http_post(url, formdata, with_json(cont), errorcallback);
ajax_http_post(url, formdata, with_json(cont,errorcallback), errorcallback);
}
function with_json(cont) { return function(txt){cont(eval("("+txt+")"));} }
function with_json(cont,errorcallback) {
return function(txt){
if(txt) {
try {
var json=eval("("+txt+")")
} catch (e) {
if(errorcallback)
errorcallback("JSON parsing problem",500,"text/plain")
return
}
cont(json);
}
else {
if(errorcallback)
errorcallback("Empty response form server (crash?)",500,"text/plain")
}
}
}
function sameOrigin(url) {
var a=empty("a");