Addd ResolvedConfigOptions back

This commit is contained in:
David Baker 2022-12-21 15:25:08 +00:00
commit 3581aceb5a
2 changed files with 16 additions and 3 deletions

View file

@ -22,6 +22,15 @@ export interface ConfigOptions {
// Describes the default homeserver to use. The same format as Element Web
// (without identity servers as we don't use them).
default_server_config?: {
["m.homeserver"]: {
base_url: string;
server_name: string;
};
};
}
export interface ResolvedConfigOptions extends ConfigOptions {
default_server_config: {
["m.homeserver"]: {
base_url: string;
@ -30,7 +39,7 @@ export interface ConfigOptions {
};
}
export const DEFAULT_CONFIG: ConfigOptions = {
export const DEFAULT_CONFIG: ResolvedConfigOptions = {
default_server_config: {
["m.homeserver"]: {
base_url: "http://localhost:8008",