Handle if no extensions listed in PG spec (#16194)

* Handle if not extensions listed in spec, focus buttons

* Set extensions to optional

* Added optional field to settings and scheduling.roles
This commit is contained in:
nasc17
2021-07-19 09:37:04 -07:00
committed by GitHub
parent f978331e7b
commit fa21781df2
3 changed files with 17 additions and 8 deletions

View File

@@ -185,10 +185,10 @@ declare module 'azdata-ext' {
},
spec: {
engine: {
extensions: {
extensions?: {
name: string // "citus"
}[],
settings: {
settings?: {
default: { [key: string]: string }, // { "max_connections": "101", "work_mem": "4MB" }
roles: {
coordinator: { [key: string]: string },
@@ -208,7 +208,7 @@ declare module 'azdata-ext' {
limits: SchedulingOptions
}
},
roles: {
roles?: {
coordinator: {
resources: {
requests: SchedulingOptions,