def run_args(args): #dont' know how to do default args with append and argparse if args.zmqaddr is None: args.zmqaddr = ["tcp://127.0.0.1:5007"] app = make_app(args.url_prefix, args.zmqaddr, args.ws_port) try: app.start() finally: app.stop()