1.1 --- a/EventAggregatorSupport.py Sun Apr 03 18:42:04 2011 +0200
1.2 +++ b/EventAggregatorSupport.py Thu Apr 07 23:44:06 2011 +0200
1.3 @@ -1583,7 +1583,9 @@
1.4 """
1.5
1.6 # Datetimes without times can be equal to dates and be considered as
1.7 - # occurring before those dates.
1.8 + # occurring before those dates. Generally, datetimes should not be
1.9 + # produced without time information as getDateTime converts such
1.10 + # datetimes to dates.
1.11
1.12 if isinstance(a, DateTime) and (isinstance(b, DateTime) or not a.has_time()):
1.13 return a <= b