/[gzz]/gzz/Gzz.py
ViewVC logotype

Diff of /gzz/Gzz.py

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.34 by benja, Sun Sep 29 16:38:56 2002 UTC revision 1.35 by Vegai, Mon Sep 30 09:26:58 2002 UTC
# Line 128  class Gzz(java.lang.Runnable): Line 128  class Gzz(java.lang.Runnable):
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)
# Line 143  if __name__ == '__main__': Line 144  if __name__ == '__main__':
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()

Legend:
Removed from v.1.34  
changed lines
  Added in v.1.35

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26