Pass a Locale to toUpperCase()

Make lint happy.
This commit is contained in:
Romain Vimont 2020-05-25 03:28:15 +02:00
parent 5c2cf88a1d
commit 81573d81a0

View file

@ -9,6 +9,7 @@ import android.os.Build;
import java.io.IOException; import java.io.IOException;
import java.util.List; import java.util.List;
import java.util.Locale;
public final class Server { public final class Server {
@ -126,7 +127,7 @@ public final class Server {
Options options = new Options(); Options options = new Options();
Ln.Level level = Ln.Level.valueOf(args[1].toUpperCase()); Ln.Level level = Ln.Level.valueOf(args[1].toUpperCase(Locale.ENGLISH));
options.setLogLevel(level); options.setLogLevel(level);
int maxSize = Integer.parseInt(args[2]) & ~7; // multiple of 8 int maxSize = Integer.parseInt(args[2]) & ~7; // multiple of 8