minibar.html: omit explicit grammars_url option

The grammars will then by default be fetched from the same server as
minibar.html. This means that everything will be served locally when accessing
minibar through a locally running pgf-http.
This commit is contained in:
hallgren
2010-12-17 16:43:11 +00:00
parent fb807d307c
commit 0374f327d6

View File

@@ -27,7 +27,7 @@ This page doesn't works unless JavaScript is enabled.
&amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
</small>
<small class=modtime>
HTML <!-- hhmts start --> Last modified: Wed Dec 1 17:36:24 CET 2010 <!-- hhmts end -->
HTML <!-- hhmts start --> Last modified: Fri Dec 17 17:00:19 CET 2010 <!-- hhmts end -->
</small>
<address>
<a href="http://www.cs.chalmers.se/~hallgren/">TH</a>
@@ -36,7 +36,7 @@ HTML <!-- hhmts start --> Last modified: Wed Dec 1 17:36:24 CET 2010 <!-- hhmts
<script type="text/javascript">
var online_options={
grammars_url: "http://www.grammaticalframework.org/grammars/"
//grammars_url: "http://www.grammaticalframework.org/grammars/"
//grammars_url: "http://tournesol.cs.chalmers.se:41296/grammars",
//grammars_url: "http://localhost:41296/grammars",
//grammar_list: ["Foods.pgf"], // leave undefined to get list from server