![]() ![]() | ![]() |
version 1.94, 2017/10/25 14:14:52 | version 1.95, 2018/02/22 10:54:51 | ||
---|---|---|---|
|
|
||
.default_num = 500 | .default_num = 500 | ||
}, | }, | ||
{ .name = "exit-empty", | |||
.type = OPTIONS_TABLE_FLAG, | |||
.scope = OPTIONS_TABLE_SERVER, | |||
.default_num = 1 | |||
}, | |||
{ .name = "exit-unattached", | { .name = "exit-unattached", | ||
.type = OPTIONS_TABLE_FLAG, | .type = OPTIONS_TABLE_FLAG, | ||
.scope = OPTIONS_TABLE_SERVER, | .scope = OPTIONS_TABLE_SERVER, |