From e50b06f49f128e8bdbd97dd5e92c3a3af34bab88 Mon Sep 17 00:00:00 2001
From: Seven Du <dujinfang@gmail.com>
Date: Tue, 4 Jun 2013 08:21:34 +0800
Subject: [PATCH] fix hardcoded host and port

---
 htdocs/portal/index.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/htdocs/portal/index.html b/htdocs/portal/index.html
index 5df175e127..02a92eceb8 100644
--- a/htdocs/portal/index.html
+++ b/htdocs/portal/index.html
@@ -471,7 +471,9 @@
 
 	<script type="text/javascript">
 
-	var socket = new WebSocket("ws://localhost:8086/socket", "websocket");
+	var port = document.location.port;
+	// var port = 8081; // for test
+	var socket = new WebSocket("ws://" + document.location.hostname + ":" + port + "/socket", "websocket");
 
 	try {
 		socket.onopen = function() {