diff options
| author | nicm <nicm> | 2018-02-22 10:54:51 +0000 |
|---|---|---|
| committer | nicm <nicm> | 2018-02-22 10:54:51 +0000 |
| commit | 623f4b12d3af7c6908c6abab1e95589c59f554ef (patch) | |
| tree | 895220aa98daf4bb76505869239658186caac1e3 /options-table.c | |
| parent | ab6f0bb3485f6626bad6f585e4d17059fe4f7152 (diff) | |
Add exit-empty option to exit server if no sessions (defaults to on).
Diffstat (limited to 'options-table.c')
| -rw-r--r-- | options-table.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/options-table.c b/options-table.c index c3363e48..20ac5d6f 100644 --- a/options-table.c +++ b/options-table.c @@ -97,6 +97,12 @@ const struct options_table_entry options_table[] = { .default_num = 500 }, + { .name = "exit-empty", + .type = OPTIONS_TABLE_FLAG, + .scope = OPTIONS_TABLE_SERVER, + .default_num = 1 + }, + { .name = "exit-unattached", .type = OPTIONS_TABLE_FLAG, .scope = OPTIONS_TABLE_SERVER, |