Tweaked server types and data

This commit is contained in:
Alejandro Celaya
2020-08-23 10:51:42 +02:00
parent dc78138066
commit 1b7e1e2b5b
8 changed files with 64 additions and 38 deletions

View File

@@ -4,15 +4,23 @@ export interface NewServerData {
apiKey: string;
}
export interface RegularServer extends NewServerData {
export interface ServerWithId {
id: string;
version?: string;
printableVersion?: string;
serverNotReachable?: true;
}
interface NotFoundServer {
export interface ReachableServer extends ServerWithId {
version: string;
printableVersion: string;
}
export interface NonReachableServer extends ServerWithId {
serverNotReachable: true;
}
export interface NotFoundServer {
serverNotFound: true;
}
export type Server = RegularServer | NotFoundServer;
export type RegularServer = ReachableServer | NonReachableServer;
export type SelectedServer = RegularServer | NotFoundServer | null;