diff options
| author | Jeroen Wijenbergh <jeroen.wijenbergh@geant.org> | 2026-02-19 09:53:19 +0100 |
|---|---|---|
| committer | Jeroen Wijenbergh <jeroen.wijenbergh@geant.org> | 2026-02-20 12:19:13 +0100 |
| commit | ffb0d31a4a6fca2af3dc6680c4d1afa9e225f88c (patch) | |
| tree | a9d2e570e53bda09cfbffb6be28f82231b9b356b /types/server | |
| parent | 7aa317009d9ec580c6eeeef6d65218ae06043449 (diff) | |
Config: Check if server was already added
Fixes: #107
We can also allow the server to be replaced, but then we also have to
make sure metadata is reset again e.g. last authorize time
Diffstat (limited to 'types/server')
0 files changed, 0 insertions, 0 deletions