def __init__(self):
Command.__init__(self, "ping", summary="Ping a Wildcatting server")
self.add_option("-p",
"--port",
type="int",
default="7777",
help="server port")
self.add_option("-n",
"--host",
type="string",
default="localhost",
help="server hostname")
def __init__(self):
Command.__init__(self, "client", summary="Run the Wildcatting client")
user = os.environ.get("USER")
if user is None:
user = "******"
symbol = user[0].upper()
self.add_option("", "--no-network", action="store_true")
self.add_option("-p",
"--port",
type="int",
default="7777",
help="server port")
self.add_option("-n",
"--host",
type="string",
default="localhost",
help="server hostname")
self.add_option("-u",
"--username",
type="string",
default=user,
help="username")
self.add_option("-m",
"--hotseat",
action="store_true",
help="hotseat mode")
self.add_option("-s",
"--symbol",
type="string",
default=symbol,
help="well symbol")
self.add_option("-w",
"--weeks",
type="int",
default="13",
help="length of game in weeks")
self.add_option("-g",
"--game",
type="string",
default=None,
help="game id")
self.add_option("-r",
"--handle",
type="string",
default=None,
help="game handle")
def __init__(self):
Command.__init__(self, "echo", summary="echo a string")
def __init__(self):
Command.__init__(self, "list", summary="list various parts of the system")
def __init__(self):
Command.__init__(self, "theme-info", summary="Get info about themes")
def __init__(self):
Command.__init__(self, "report", summary="Test a Wildcatting report")