Datatype fix - ws engine

pandora_console/include/lib/WSManager.php

@@ -152,7 +152,7 @@ class WSManager extends WebSocketServer
      */
     public function __construct(
         $listen_addr,
-        $listen_port,
+        int $listen_port,
         $connected=[],
         $process=[],
         $processRaw=[],

pandora_console/ws.php

@@ -139,7 +139,7 @@ $ws = new WSManager(
     // Bind address.
     $config['ws_bind_address'],
     // Bind port.
-    $config['ws_port'],
+    (int) $config['ws_port'],
     // Connected handlers.
     ['gotty' => 'proxyConnected'],
     // Process handlers.