From 7db18f8acdc9b1301752df718d6ef7920147e7ae 2012-03-16 23:30:00 From: Min RK Date: 2012-03-16 23:30:00 Subject: [PATCH] Merge pull request #1508 from minrk/i1507 fix sorting profiles in clustermanager dicts aren't orderable on Python3. In any case, these should be sorted by name, not by the ordering of the dicts themselves. closes #1507 --- diff --git a/IPython/frontend/html/notebook/clustermanager.py b/IPython/frontend/html/notebook/clustermanager.py index 6a28fa4..9d07c4b 100644 --- a/IPython/frontend/html/notebook/clustermanager.py +++ b/IPython/frontend/html/notebook/clustermanager.py @@ -91,8 +91,7 @@ class ClusterManager(LoggingConfigurable): def list_profiles(self): self.update_profiles() - result = [self.profile_info(p) for p in self.profiles.keys()] - result.sort() + result = [self.profile_info(p) for p in sorted(self.profiles.keys())] return result def check_profile(self, profile):