Allow users to not specify server info (#164)

* Allow users to not specify server info

* change to default name
This commit is contained in:
Tobias Nyholm 2025-11-30 11:30:31 +01:00 • committed by GitHub
commit b250f4ad1a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -481,7 +481,9 @@ final class Builder
logging: false,
completions: true,
);
$configuration = new Configuration($this->serverInfo, $capabilities, $this->paginationLimit, $this->instructions, $this->protocolVersion);
$serverInfo = $this->serverInfo ?? new Implementation();
$configuration = new Configuration($serverInfo, $capabilities, $this->paginationLimit, $this->instructions, $this->protocolVersion);
$referenceHandler = new ReferenceHandler($container);
$requestHandlers = array_merge($this->requestHandlers, [