Merge branch 'jetty-10.0.x' into jetty-10.0.x-update-plexus-utils-4.0.0

This commit is contained in:
Olivier Lamy 2023-06-27 11:26:01 +02:00 committed by GitHub
commit 0c1ea6fe94
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -148,14 +148,14 @@ public abstract class SelectorManager extends ContainerLifeCycle implements Dump
public int getTotalKeys()
{
int keys = 0;
for (final ManagedSelector selector : _selectors)
for (ManagedSelector selector : _selectors)
{
if (selector != null)
keys += selector.getTotalKeys();
}
return keys;
}
/**
* @return the number of selectors in use
*/