Skip to content

Commit

Permalink
Revert "Fix providers ordering"
Browse files Browse the repository at this point in the history
This reverts commit 7990540.
  • Loading branch information
gnodet committed Oct 11, 2023
1 parent 7990540 commit e498675
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -445,7 +445,7 @@ private Terminal doBuild() throws IOException {
.split(","));
providers.sort(Comparator.comparing(l -> {
int idx = order.indexOf(l.name());
return idx >= 0 ? -idx : Integer.MIN_VALUE;
return idx >= 0 ? idx : Integer.MAX_VALUE;
}));

Terminal terminal = null;
Expand Down

0 comments on commit e498675

Please sign in to comment.