--- 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",