diff options
Diffstat (limited to 'src/runtime/javascript/minibar/phrasebook.html')
| -rw-r--r-- | src/runtime/javascript/minibar/phrasebook.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html index a331dc112..29321582a 100644 --- a/src/runtime/javascript/minibar/phrasebook.html +++ b/src/runtime/javascript/minibar/phrasebook.html @@ -6,7 +6,8 @@ <script type="text/JavaScript" src="minibar.js"></script> <script type="text/JavaScript"> var phrasebook_options={ - server: "http://tournesol.cs.chalmers.se:41296", + server: "http://localhost:41296", +// server: "http://tournesol.cs.chalmers.se:41296", grammar_list: ["Phrasebook.pgf"], delete_button_text: "Del" } |