select a manually entered server ID (alexjustesen#315)

Author: alexjustesen

app/Filament/Pages/Settings/GeneralPage.php

@@ -88,6 +88,15 @@ protected function getFormSchema(): array
                                             ];
                                         });
 
+                                        if (! $options->count() && is_numeric($search)) {
+                                            $options = collect([
+                                                [
+                                                    'id' => $search,
+                                                    'name' => $search.': No server found, manually add this ID.',
+                                                ],
+                                            ]);
+                                        }
+
                                         return $options->pluck('name', 'id');
                                     })
                                     ->columnSpan(2),