Change server to http://www.grammaticalframework.org:41296

2010-05-26 11:46:25 +00:00
parent 8381ed5290
commit 2b6d0ca25e
1 changed files with 2 additions and 1 deletions
--- a/src/runtime/javascript/minibar/phrasebook.html
+++ b/src/runtime/javascript/minibar/phrasebook.html
@@ -6,8 +6,9 @@
 <script type="text/JavaScript" src="minibar.js"></script>
 <script type="text/JavaScript">
 var phrasebook_options={
-  server: "http://localhost:41296",
+//  server: "http://localhost:41296",
 //  server: "http://tournesol.cs.chalmers.se:41296",
+  server: "http://www.grammaticalframework.org:41296",
  grammar_list: ["Phrasebook.pgf"],
  delete_button_text: "Del"
 }