src/eric7/eric7_server.py

branch
server
changeset 10778
a3fe23f8d0ba
parent 10777
441e6aeeaf68
child 11033
6b197c3389f7
--- a/src/eric7/eric7_server.py	Wed Jun 12 11:04:21 2024 +0200
+++ b/src/eric7/eric7_server.py	Wed Jun 12 15:13:12 2024 +0200
@@ -40,7 +40,8 @@
         "--port",
         type=int,
         default=42024,
-        help="Listen on the given port for connections from an eric IDE.",
+        help="Listen on the given port for connections from an eric IDE (default"
+        " 42024).",
     )
     parser.add_argument(
         "-6",

eric ide

mercurial