Exemple #1
0
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()
Exemple #2
0
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()