diff options
| author |   agardner <agardner@linuxfoundation.org> | 2017-09-08 16:22:08 -0400 |
|---|---|---|
| committer | agardner <agardner@linuxfoundation.org> | 2017-09-08 16:22:08 -0400 |
| commit | 855fddda18e705c62a90cc86a6d89e45bb804a27 (patch) | |
| tree | 020e68f1349eb94a3e965e5eef85008c6db53ba8 /jjb/domino | |
| parent | bbb0b46e10da23efe6a12c580164e103eb71b334 (diff) | |
Fix for when requiretty is disabled with a !
you can disable requiretty by !requiretty or #requiretty
so catch both of those cases
Change-Id: Ic7fb1cf97849258b1e4db34be82794918bf722e0
Signed-off-by: agardner <agardner@linuxfoundation.org>
Diffstat (limited to 'jjb/domino')
0 files changed, 0 insertions, 0 deletions