Add 5 second interval automatic page reload to

default 404 page for unserved ports.

components/ws-proxy/public/port-not-found.html

@@ -127,6 +127,7 @@ <h2 class="title">Port <span id="port"></span> Not Found</h2>
     document.getElementById('refresh').addEventListener('click', function () {
       window.location.reload(true);
     });
+    window.setInterval('window.location.reload(true);', 5000);
   </script>
 </body>