Merge "Add ability to set lock file in config"

2018-11-19 16:58:46 +00:00 · 2018-11-19 16:58:46 +00:00 · c20fef1dec
parent f69adcff53 fdb5f3fb0b
commit c20fef1dec
1 changed files with 1 additions and 0 deletions
--- a/gertty/config.py
+++ b/gertty/config.py
@ -49,6 +49,7 @@ class ConfigSchema(object):
              v.Required('git-root'): str,
              'git-url': str,
              'log-file': str,
+              'lock-file': str,
              'socket': str,
              'auth-type': v.Any('basic', 'digest', 'form'),
              }