From 3a96785cdde670b1f399f125502851514900414e Mon Sep 17 00:00:00 2001
From: Thulinma <jaron@vietors.com>
Date: Thu, 22 Mar 2012 13:36:34 +0100
Subject: [PATCH] Default port set in server control page.

---
 server.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server.html b/server.html
index 743cbc33..cb7905a0 100644
--- a/server.html
+++ b/server.html
@@ -199,7 +199,7 @@
 
          <label for='server'>
             Server:
-            <input type='text' id='server' value='http://localhost:7342' />
+            <input type='text' id='server' value='http://localhost:4242' />
          </label>
 
          <button id='login'>login</button>