Record Class IdServerConfigurationFile

java.lang.Object
java.lang.Record
com.io7m.idstore.server.api.IdServerConfigurationFile
Record Components:
brandingConfiguration - The branding configuration
mailConfiguration - The mail configuration
httpConfiguration - The HTTP configuration
databaseConfiguration - The database configuration
historyConfiguration - The history configuration
sessionConfiguration - The session configuration
rateLimit - The rate limiting configuration
passwordExpiration - The password expiration configuration
maintenanceConfiguration - The maintenance configuration
openTelemetry - The OpenTelemetry configuration
All Implemented Interfaces:
IdServerJSONConfigurationElementType

public record IdServerConfigurationFile(IdServerBrandingConfiguration brandingConfiguration, IdServerMailConfiguration mailConfiguration, IdServerHTTPConfiguration httpConfiguration, IdServerDatabaseConfiguration databaseConfiguration, IdServerHistoryConfiguration historyConfiguration, IdServerSessionConfiguration sessionConfiguration, IdServerRateLimitConfiguration rateLimit, IdServerPasswordExpirationConfiguration passwordExpiration, IdServerMaintenanceConfiguration maintenanceConfiguration, Optional<IdServerOpenTelemetryConfiguration> openTelemetry) extends Record implements IdServerJSONConfigurationElementType
The server configuration file.