From b250f4ad1a61bdcc5de95019fde71182a4883e9a Mon Sep 17 00:00:00 2001
From: Tobias Nyholm <tobias.nyholm@gmail.com>
Date: Sun, 30 Nov 2025 11:30:31 +0100
Subject: [PATCH] Allow users to not specify server info (#164)

* Allow users to not specify server info

* change to default name
---
 src/Server/Builder.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Server/Builder.php b/src/Server/Builder.php
index 1d1f8d0..4142b97 100644
--- a/src/Server/Builder.php
+++ b/src/Server/Builder.php
@@ -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, [