GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 19:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

minibar.html: omit explicit grammars_url option

Browse Source 
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 9ad094577a
commit 65b717c362
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/runtime/javascript/minibar/minibar.html
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>] &amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
</small> </small>
<small class=modtime> <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> </small>
<address> <address>
<a href="http://www.cs.chalmers.se/~hallgren/">TH</a> <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"> <script type="text/javascript">
var online_options={ 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://tournesol.cs.chalmers.se:41296/grammars",
//grammars_url: "http://localhost:41296/grammars", //grammars_url: "http://localhost:41296/grammars",
//grammar_list: ["Foods.pgf"], // leave undefined to get list from server //grammar_list: ["Foods.pgf"], // leave undefined to get list from server