mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-11-14 04:22:16 +00:00
Higer priority one should come first
This commit is contained in:
1 parent
8d1f9d56c0
commit
e5a1e82e11
1 file changed
+1
-1
@@ -53,7 +53,7 @@ class FilePathFilterAggregator extends FilePathFilter {
|
||||
*/
|
||||
public void add(FilePathFilter f, double ordinal) {
|
||||
all.add(new Entry(f,ordinal));
|
||||
Collections.sort(all);
|
||||
Collections.sort(all,Collections.reverseOrder());
|
||||
}
|
||||
|
||||
public void remove(FilePathFilter f) {
|
||||
|
||||
Reference in new issue
Block a user