commit | 623f4b12d3af7c6908c6abab1e95589c59f554ef | [log] [download] |
---|---|---|
author | nicm <nicm> | Thu Feb 22 10:54:51 2018 +0000 |
committer | nicm <nicm> | Thu Feb 22 10:54:51 2018 +0000 |
tree | 895220aa98daf4bb76505869239658186caac1e3 | |
parent | ab6f0bb3485f6626bad6f585e4d17059fe4f7152 [diff] |
Add exit-empty option to exit server if no sessions (defaults to on).