comparison: src/eric7/eric7_server.py
src/eric7/eric7_server.py
- branch
- server
- changeset 10778
- a3fe23f8d0ba
- parent 10777
- 441e6aeeaf68
- child 11033
- 6b197c3389f7
equal
deleted
inserted
replaced
38 parser.add_argument( |
38 parser.add_argument( |
39 "-p", |
39 "-p", |
40 "--port", |
40 "--port", |
41 type=int, |
41 type=int, |
42 default=42024, |
42 default=42024, |
43 help="Listen on the given port for connections from an eric IDE.", |
43 help="Listen on the given port for connections from an eric IDE (default" |
|
44 " 42024).", |
44 ) |
45 ) |
45 parser.add_argument( |
46 parser.add_argument( |
46 "-6", |
47 "-6", |
47 "--with-ipv6", |
48 "--with-ipv6", |
48 action="store_true", |
49 action="store_true", |