diff options
| author | Gonzalo Odiard <godiard@gmail.com> | 2012-07-25 03:16:30 (GMT) |
|---|---|---|
| committer | Gonzalo Odiard <godiard@gmail.com> | 2012-07-25 03:16:30 (GMT) |
| commit | 01a68d0a259df92c09cf29717a51e0a4a228ef2c (patch) | |
| tree | fa5b98712efbe6db4c45487c2d69fba6d26c2de3 /develop-activity/develop_app.py | |
| parent | 238845958929249aed5e7c87a3debc1a2e1f4fd2 (diff) | |
Fix error with activity path management
Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>
Diffstat (limited to 'develop-activity/develop_app.py')
| -rw-r--r-- | develop-activity/develop_app.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/develop-activity/develop_app.py b/develop-activity/develop_app.py index d46d656..f7c3e37 100644 --- a/develop-activity/develop_app.py +++ b/develop-activity/develop_app.py @@ -368,7 +368,9 @@ class DevelopActivity(activity.Activity): def open_activity(self, activity_dir): logging.info('opening %s', activity_dir) - self.activity_dir = activity_dir + '/' + if not activity_dir.endswith('/'): + activity_dir = activity_dir + '/' + self.activity_dir = activity_dir name = os.path.basename(activity_dir) self.treecolumn.set_title(name) self.metadata['title'] = 'Develop %s' % name |