diff --git a/devtools/dump_devinfo.py b/devtools/dump_devinfo.py index a6b27e95..c30ee96f 100644 --- a/devtools/dump_devinfo.py +++ b/devtools/dump_devinfo.py @@ -207,7 +207,7 @@ async def handle_device(basedir, autosave, device: Device, batch_size: int): + " Do not use this flag unless you are sure you know what it means." ), ) -@click.option("--port", help="Port override") +@click.option("--port", help="Port override", type=int) async def cli( host, target,