diff -r 638e7dd1d560 -r 4b54d6f79d25 www/includes/global.inc.php
--- a/www/includes/global.inc.php	Thu May 07 14:59:50 2020 +0200
+++ b/www/includes/global.inc.php	Mon May 11 17:32:08 2020 +0200
@@ -322,6 +322,7 @@
        <li><img style='float: left; margin-right: 5px;' src='images/help-about.png' /><a href="gen_about.php">Informatie</a></li>
       </ul>
      </li>
+     <li style='width: 300px;'><div id="wsstatus">ws: nc</div></li>
     </ul>
    </div> <!-- End menu -->