reserve ports 13371 to 13399 to avoid issues with 2222 (usually used for SSH)

Author: Lekssays

src/defaults.py

@@ -17,8 +17,8 @@
 JOERN_JAVA_OPTS = "-Xmx4G -Xms2G -XX:+UseG1GC -Dfile.encoding=UTF-8"
 JOERN_SERVER_HOST = "localhost"
 JOERN_SERVER_PORT = 8080
-JOERN_PORT_MIN = 2000
-JOERN_PORT_MAX = 2999
+JOERN_PORT_MIN = 13371
+JOERN_PORT_MAX = 13399
 JOERN_SERVER_INIT_SLEEP_TIME = 3.0
 
 # Joern HTTP connection pooling defaults

src/models.py

@@ -110,8 +110,8 @@ class JoernConfig:
     server_port: int = 8080
     server_auth_username: Optional[str] = None
     server_auth_password: Optional[str] = None
-    port_min: int = 2000
-    port_max: int = 2999
+    port_min: int = 13371
+    port_max: int = 13399
     server_init_sleep_time: float = 3.0
     # HTTP Connection Pooling
     http_pool_connections: int = 10

src/services/port_manager.py

@@ -12,7 +12,7 @@
 class PortManager:
     """Manages port allocation for Joern server instances"""
 
-    def __init__(self, port_min: int = 2000, port_max: int = 2999):
+    def __init__(self, port_min: int = 13371, port_max: int = 13399):
         self.port_min = port_min
         self.port_max = port_max
         self._session_to_port: Dict[str, int] = {}  # session_id -> port

src/tools/core_tools.py

@@ -298,7 +298,7 @@ async def _generate_cpg_async(
 
         logger.info(f"CPG generated successfully: {cpg_path}")
 
-        # Step 4: Start Joern server with randomly assigned port (2000-2999)
+        # Step 4: Start Joern server with randomly assigned port (13371-13399)
         joern_port = None
         if joern_server_manager:
             try: