HTTPPlugin : Add a builder option to provide custom server (enables providing options like ssl etc)

[MehakBindra]

Tested with code like (check running on and activities received on port 8000 )

def make_server(app: FastAPI) -> uvicorn.Server:
    config = uvicorn.Config(
        app=app,
        host="0.0.0.0",
        port=8000,
        log_level="debug",
    )
    return uvicorn.Server(config)


app = App(
    plugins=[
        DevToolsPlugin(),
        HttpPlugin(app_id=None, server_factory=make_server),
    ]
)

[Copilot]

Pull Request Overview

This PR adds support for custom server configuration in the HTTPPlugin by introducing a server_factory parameter. This enables users to provide their own pre-configured uvicorn server with custom options like SSL certificates, custom logging, or other server-level configurations.

Key Changes:

• Added optional server_factory parameter to HTTPPlugin constructor
• Modified startup logic to use custom server when provided, with port conflict detection
• Added documentation for the new parameter

[lilyydu]

we may want to move this port check into the constructor, so it fails earlier

[MehakBindra]

I'm not throwing an error for this, just a warning to say the port being used is from this builder fn and not the one provided by app.
Also the port is not available then I think, because it can be provided via app.start(port=..) too right

[lilyydu]

yeah thats true, it comes from the event itself- instead of saying 'plugin had requested' can we say the plugin start event?

[heyitsaamir]

Can these be more generic? Instead of FastAPI, can it just be ASGIApplication, and instead of uvicorn.Server, it should be whatever server is being used right? The whole point of this effort is that something other than uvicorn.Server should be returnable?

One option is to make this piece generic