gws.server.core.MonitorConfig
struct gws.server.core.MonitorConfig
| Eigenschaft | Typ | Default | |
|---|---|---|---|
enabled | bool | True | the module is enabled gws.server.core.MonitorConfig.enabled |
frequency | gws.core.types.Duration | '30' | filesystem changes check frequency gws.server.core.MonitorConfig.frequency |
ignore | [ gws.core.types.Regex ] | ignore paths that match these regexes gws.server.core.MonitorConfig.ignore | |
uid | str | Zuweisung einer eindeutigen ID als Text |