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= {