From 2b6d0ca25edcdf3682a46e1698455214692e243a Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 26 May 2010 11:46:25 +0000
Subject: [PATCH] Change server to http://www.grammaticalframework.org:41296

---
 src/runtime/javascript/minibar/phrasebook.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html
index 29321582a..19572b1cf 100644
--- 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"
 }