From 1d0f9372f4c74075a98bc824568ceedb80f6cd78 Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 12 Apr 2013 17:50:44 +0000 Subject: [PATCH] syntax editor: fix references to global object 'server' --- src/www/syntax-editor/editor.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/www/syntax-editor/editor.js b/src/www/syntax-editor/editor.js index c7622a058..be6b84820 100644 --- a/src/www/syntax-editor/editor.js +++ b/src/www/syntax-editor/editor.js @@ -479,7 +479,7 @@ Editor.prototype.generate_random = function() { var err = function(data){ alert("Error"); }; - server.get_random(args, cont, err); + t.server.get_random(args, cont, err); } // Redraw tree @@ -580,6 +580,6 @@ Editor.prototype.import_ast = function(abstr) { var err = function(tree){ alert("Invalid abstract syntax tree"); }; - server.pgf_call("abstrjson", args, cont, err); + t.server.pgf_call("abstrjson", args, cont, err); }