diff --git a/pandora_console/include/lib/WSManager.php b/pandora_console/include/lib/WSManager.php
index a8144c43c0..f7ab3dbddc 100644
--- a/pandora_console/include/lib/WSManager.php
+++ b/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=[],
diff --git a/pandora_console/ws.php b/pandora_console/ws.php
index 5eebe58aad..6c7a513185 100644
--- a/pandora_console/ws.php
+++ b/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.