128 |
except TypeError, t: |
except TypeError, t: |
129 |
print t |
print t |
130 |
|
|
131 |
def __init__(self): |
def __init__(self, opts, args): |
132 |
self.opts, self.args = getopt.getopt(sys.argv[1:], "Ct"+gzz.util.dbg.short, |
self.opts, self.args = opts, args |
|
["--commander"]+gzz.util.dbg.long) |
|
133 |
self.parse_params() |
self.parse_params() |
134 |
self.set_defaults() |
self.set_defaults() |
135 |
|
|
136 |
if __name__ == '__main__': |
def run(): |
137 |
g = Gzz() |
opts, args = getopt.getopt(sys.argv[1:], "Ct"+gzz.util.dbg.short, |
138 |
|
["--commander"]+gzz.util.dbg.long) |
139 |
|
g = Gzz(opts, args) |
140 |
if java.lang.System.getProperty("gzzclient") == "gl": |
if java.lang.System.getProperty("gzzclient") == "gl": |
141 |
print "Running GL..." |
print "Running GL..." |
142 |
g.graphicsAPI.startUpdateManager(g) |
g.graphicsAPI.startUpdateManager(g) |
144 |
print "Running AWT..." |
print "Running AWT..." |
145 |
g.graphicsAPI.startUpdateManager(None) |
g.graphicsAPI.startUpdateManager(None) |
146 |
g.run() |
g.run() |
147 |
|
|
148 |
|
if __name__ == '__main__': |
149 |
|
run() |