Skip to content

server: call server.init after setting the server options (not before) #3995

Open
#4003
Open
server: call server.init after setting the server options (not before)#3995
#4003
Labels
bugweb-server
Milestone
4.5.5

Description

@jknack
jknack
opened on Aug 20, 2026

Calling server.init too early causes a leak between the final server options and what the application saves in the service registry.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugweb-server

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions