2008-04-17 04:52:37 +02:00
|
|
|
--- Filter.py
|
|
|
|
+++ Filter.py
|
2009-08-21 18:19:06 +02:00
|
|
|
@@ -80,23 +80,24 @@
|
2008-04-17 04:52:37 +02:00
|
|
|
|
2009-08-21 18:19:06 +02:00
|
|
|
def _diag_compare(x, y):
|
2008-06-25 19:08:32 +02:00
|
|
|
|
|
|
|
- where_a = x.split()[1]
|
|
|
|
- level_a = x.split()[2]
|
2008-04-17 04:52:37 +02:00
|
|
|
+ where_a = x.split()[2]
|
|
|
|
+ level_a = x.split()[1]
|
2008-06-25 19:08:32 +02:00
|
|
|
|
|
|
|
- where_b = y.split()[1]
|
|
|
|
- level_b = y.split()[2]
|
2009-08-21 18:19:06 +02:00
|
|
|
+ where_b = y.split()[2]
|
|
|
|
+ level_b = y.split()[1]
|
2008-06-25 19:08:32 +02:00
|
|
|
|
|
|
|
- if level_b > level_a:
|
2009-08-21 18:19:06 +02:00
|
|
|
+ if (level_b > level_a):
|
2008-06-25 19:08:32 +02:00
|
|
|
return 1
|
|
|
|
- elif level_b == level_a:
|
|
|
|
- if where_b > where_b:
|
|
|
|
- return 1
|
|
|
|
- elif where_b == where_a:
|
|
|
|
- return 0
|
|
|
|
- else:
|
|
|
|
- return -1
|
|
|
|
- else:
|
2008-04-17 04:52:37 +02:00
|
|
|
+
|
2009-08-21 18:19:06 +02:00
|
|
|
+ if (level_b < level_a):
|
|
|
|
+ return -1
|
|
|
|
+
|
|
|
|
+ if (where_b < where_a):
|
|
|
|
+ return 1
|
|
|
|
+
|
2008-04-17 04:52:37 +02:00
|
|
|
+ if (where_b > where_a):
|
2008-06-25 19:08:32 +02:00
|
|
|
return -1
|
|
|
|
+ return 0
|
2008-04-17 04:52:37 +02:00
|
|
|
|
2009-08-21 18:19:06 +02:00
|
|
|
|
2008-06-25 19:08:32 +02:00
|
|
|
def printAllReasons():
|