diff --git a/htdocs/public/index.php b/htdocs/public/index.php
index 2f741f3..1d2f4c0 100755
--- a/htdocs/public/index.php
+++ b/htdocs/public/index.php
@@ -150,9 +150,6 @@
                             } else {
                                 wsServerUrl += 'ws://' + window.location.host;
                             }
-                            if (window.location.port != '' && window.location.port != 0) {
-                               wsServerUrl += ':' + window.location.port;
-                            }
                             wsServerUrl += '/ws';
                         <?php endif; ?>
                         var mapElementId = 'map-container';