diff options
Diffstat (limited to 'demos')
| -rw-r--r-- | demos/TransQuiz/translation_quiz.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/demos/TransQuiz/translation_quiz.html b/demos/TransQuiz/translation_quiz.html index 5ea991b77..e99d3c77e 100644 --- a/demos/TransQuiz/translation_quiz.html +++ b/demos/TransQuiz/translation_quiz.html @@ -139,6 +139,10 @@ //grammar_list: ["Foods.pgf"], // leave undefined to get list from server
}
+ if(/^\?\/tmp\//.test(location.search)) {
+ online_options.grammars_url=location.search.substr(1);
+ }
+
var server=pgf_online(online_options);
var minibar_options= {
|