From f3b51bb45f11096efe4116a127f6e8a226c015f5 Mon Sep 17 00:00:00 2001
From: Alex Justesen <alexjustesen@users.noreply.github.com>
Date: Tue, 19 Sep 2023 20:06:36 -0400
Subject: [PATCH] [Chore] Added ID to manually entered server (#794)

---
 app/Filament/Pages/Settings/GeneralPage.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/Filament/Pages/Settings/GeneralPage.php b/app/Filament/Pages/Settings/GeneralPage.php
index 728defa8e..88c81a8e3 100644
--- a/app/Filament/Pages/Settings/GeneralPage.php
+++ b/app/Filament/Pages/Settings/GeneralPage.php
@@ -133,7 +133,7 @@ protected function getServerSearchOptions(string $search): array
             return collect([
                 [
                     'id' => $search,
-                    'name' => 'Unknown server',
+                    'name' => $search.' (Manually entered server)',
                 ],
             ])->pluck('name', 'id')->toArray();
         }