29public record
JettyServerConfig(
int port,
int maxThreads,
int minThreads,
int idleTimeoutMs, String threadPoolName,
33 final var env = System.getenv();
34 final var cpus = Runtime.getRuntime().availableProcessors();
36 parseInt(env.get(
"HTTP_MAX_THREADS"), Math.max(cpus * 2, 16)), parseInt(env.get(
"HTTP_MIN_THREADS"), 4),
37 parseInt(env.get(
"HTTP_IDLE_TIMEOUT_MS"), 30_000), env.getOrDefault(
"HTTP_POOL_NAME",
"ether-http"),
38 env.getOrDefault(
"ENVIRONMENT",
"unknown"));
41 private static int parseInt(
final String raw,
final int fallback) {
42 if (raw ==
null || raw.isBlank()) {
46 return Integer.parseInt(raw.trim());
47 }
catch (
final NumberFormatException e) {