fix: default ports;

buggregator · Jun 20, 2024 · 4893fc6 · 4893fc6
1 parent bb2bbc2
commit 4893fc6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Command/Run.php b/src/Command/Run.php
@@ -63,7 +63,7 @@ public function getServers(Container $container): array
         $config = $container->get(TcpPorts::class);
 
         $servers = [];
-        $ports = $config->ports ?: [1025, 8000, 9912, 9913];
+        $ports = $config->ports;
         /** @var scalar $port */
         foreach ($ports as $port) {
             \is_numeric($port) or throw new \InvalidArgumentException(

diff --git a/src/Config/Server/TcpPorts.php b/src/Config/Server/TcpPorts.php
@@ -22,7 +22,7 @@ final class TcpPorts
      */
     #[Env('TRAP_TCP_PORTS')]
     #[InputOption('port')]
-    public array $ports = [9912];
+    public array $ports = [1025, 8000, 9912, 9913];
 
     /**
      * Host to listen