From f2751ff9e11bd7ec4b1f489913191e34f0bd78e3 Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 9 Jan 2013 16:44:18 +0000 Subject: Fixes for minibar offline Tested it in Firefox 18 (which has the new Ionmonkey JavaScript engine). Still get stack overflows. --- src/www/minibar/pgf_offline.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/www') diff --git a/src/www/minibar/pgf_offline.js b/src/www/minibar/pgf_offline.js index e5a3933a5..622ede42a 100644 --- a/src/www/minibar/pgf_offline.js +++ b/src/www/minibar/pgf_offline.js @@ -29,7 +29,7 @@ function pgf_offline(options) { self.current_grammar_url=new_grammar_url; if(cont) cont(); } - ajax_http_get_binary(new_grammar_url,update_pgf); + ajax_http_get_binary(new_grammar_url+"?command=download",update_pgf); }, get_grammarlist: function(cont,err) { if(this.grammar_list) cont(this.grammar_list) -- cgit v1.2.3