diff options
| author | hallgren <hallgren@chalmers.se> | 2013-01-09 16:44:18 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-01-09 16:44:18 +0000 |
| commit | f2751ff9e11bd7ec4b1f489913191e34f0bd78e3 (patch) | |
| tree | 6f6b8ea50a642ed9ac43e922c1639d4115d18d0d /src/www | |
| parent | 1497fd863ae7b1d4b2c1f7144a1d2753875bae75 (diff) | |
Fixes for minibar offline
Tested it in Firefox 18 (which has the new Ionmonkey JavaScript engine).
Still get stack overflows.
Diffstat (limited to 'src/www')
| -rw-r--r-- | src/www/minibar/pgf_offline.js | 2 |
1 files changed, 1 insertions, 1 deletions
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) |