diff options
author | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-11-05 12:14:52 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-11-05 12:14:52 (GMT) |
commit | 59bf15b926561e4a67e42b1ddb0e9bd55a1880ee (patch) | |
tree | 1725f773d7c5b36666d948649fdc6ea97cd8c7c0 | |
parent | a45e7239135c6bc143e8ba5efbdb05eb69155372 (diff) |
Log activity startup time.
-rw-r--r-- | src/jarabe/model/shell.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/jarabe/model/shell.py b/src/jarabe/model/shell.py index 4f00852..fe3ad36 100644 --- a/src/jarabe/model/shell.py +++ b/src/jarabe/model/shell.py @@ -457,6 +457,10 @@ class ShellModel(gobject.GObject): home_activity.props.launching = False self.emit('launch-completed', home_activity) + startup_time = time.time() - home_activity.get_launch_time() + logging.debug('%s launched in %f seconds.' % + (home_activity.get_type(), startup_time)) + if self._active_activity is None: self._set_active_activity(home_activity) |