def convert(args):
    print library.find_workerId(args.user)
def convert(args):
    print library.find_workerId(args.user)
def player_games(args):
    workerId = library.find_workerId(args.user) if args.user else args.worker
    library.print_worker_games(workerId, args.batch)
def player_games(args):
    workerId = library.find_workerId(args.user) if args.user else args.worker
    library.print_worker_games(workerId, args.batch)