# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1348931602 -7200
# Node ID 20a2886f8b23a5e092d487aa4b608ed9725d39a2
# Parent  f66f032f93782d9b1902151f6ba3da40411cfb49
Sorted the displayed source names.

diff -r f66f032f9378 -r 20a2886f8b23 actions/EventAggregatorSummary.py
--- a/actions/EventAggregatorSummary.py	Tue Sep 11 21:41:23 2012 +0200
+++ b/actions/EventAggregatorSummary.py	Sat Sep 29 17:13:22 2012 +0200
@@ -44,8 +44,10 @@
 
         sources_list = []
         sources = form.get("source", [])
+        source_names = (getAllEventSources(request) or {}).keys()
+        source_names.sort()
 
-        for source_name in (getAllEventSources(request) or {}).keys():
+        for source_name in source_names:
 
             selected = self._get_selected_for_list(source_name, sources)