| Index: gm/rebaseline_server/server.py
|
| ===================================================================
|
| --- gm/rebaseline_server/server.py (revision 11507)
|
| +++ gm/rebaseline_server/server.py (working copy)
|
| @@ -214,10 +214,10 @@
|
| 'to access this server. WARNING: doing so will '
|
| 'allow users on other hosts to modify your '
|
| 'GM expectations!'))
|
| - parser.add_argument('--port',
|
| - help=('Which TCP port to listen on for HTTP requests; '
|
| - 'defaults to %(default)s'),
|
| - default=DEFAULT_PORT)
|
| + parser.add_argument('--port', type=int,
|
| + help=('Which TCP port to listen on for HTTP requests; '
|
| + 'defaults to %(default)s'),
|
| + default=DEFAULT_PORT)
|
| args = parser.parse_args()
|
| global _SERVER
|
| _SERVER = Server(expectations_dir=args.expectations_dir,
|
|
|