type

ServerOptions

type ServerOptions struct {
	ReadHeaderTimeout   time.Duration
	ReadTimeout         time.Duration
	WriteTimeout        time.Duration
	IdleTimeout         time.Duration
	MaxHeaderBytes      int
	ShutdownTimeout     time.Duration
	WorkerDrainTimeout  time.Duration
	ReadinessDrainDelay time.Duration
	// AllowUnverifiableReadiness permits Execute with custom database or upload
	// adapters that cannot prove readiness. It is an explicit production safety
	// escape hatch; official adapters do not require it.
	AllowUnverifiableReadiness bool
	// SkipReadinessPreflight lets a development server bind before dependency
	// verification. Its /readyz probe still checks database connectivity,
	// storage, and custom checks, but permits an unapplied migration ledger
	// while ridu dev owns non-destructive schema synchronization.
	SkipReadinessPreflight bool
}

Production socket bounds, readiness admission, and graceful drain.

Source core/execute.go:48

ReadHeaderTimeouttime.Duration: Bounds request-header reads.
ReadTimeouttime.Duration: Bounds complete request reads.
WriteTimeouttime.Duration: Bounds response writes.
IdleTimeouttime.Duration: Bounds idle keep-alive connections.
MaxHeaderBytesint: Limits request-header bytes.
ShutdownTimeouttime.Duration: Bounds HTTP shutdown.
WorkerDrainTimeouttime.Duration: Bounds background worker drain.
ReadinessDrainDelaytime.Duration: Keeps the listener alive briefly after readiness becomes false.
AllowUnverifiableReadinessbool: Permits custom adapters that cannot report readiness.
SkipReadinessPreflightbool: Lets a development listener bind before dependency verification.

Zero values use conservative defaults. Negative socket timeouts disable that individual bound; non-positive shutdown and worker-drain timeouts still use bounded defaults.