Changeset 1:832ec3939518

Timestamp:

02/04/07 22:37:06 (19 months ago)

Author:

paniq

Branch:

trunk

Message:

[svn] added --profile run option

Files:

• share/aldrin/main.py (modified) (4 diffs)

share/aldrin/main.py

@@ -446 +446 @@
 
         import sys
-        if len(sys.argv) > 1:
-            self.open_file(sys.argv[1])
+        if len(app_args) > 1:
+            self.open_file(app_args[1])
         if audiotrouble:
             wx.MessageDialog(self, message="Aldrin tried to guess an audio driver but that didn't work. You need to select your own. Hit OK to show the preferences dialog.", caption = "Aldrin", style = wx.ICON_ERROR|wx.OK|wx.CENTER).ShowModal()
@@ -1706 +1706 @@
         return 1
 
-def run(argv):
-    """
-    Starts the application and runs the mainloop.
-    
-    @param argv: command line arguments as passed by sys.argv.
-    @type argv: str list
-    """
-    global app
+from optparse import OptionParser
+parser = OptionParser()
+parser.add_option("--profile", metavar="profile", default='', help="Start Aldrin with profiling enabled, save results to <profile>.")
+app_options = None
+app_args = None
+
+def main():
     app = AldrinApplication(0)
     app.MainLoop()
@@ -1721 +1720 @@
         player.mididriver_close_all()
         driver.get_audiodriver().destroy()
+
+def run(argv):
+    """
+    Starts the application and runs the mainloop.
+    
+    @param argv: command line arguments as passed by sys.argv.
+    @type argv: str list
+    """
+    global app
+    global app_options
+    global app_args
+    app_options, app_args = parser.parse_args(argv)
+    if app_options.profile:
+        import profile
+        profile.runctx('main()', globals(), locals(), app_options.profile)
+    else:
+        main()
 
 __all__ = [
@@ -1731 +1747 @@
 'TimePanel',
 'AldrinApplication',
+'main',
 'run',
 ]