diff options
author | Omar Polo <op@omarpolo.com> | 2023-06-05 20:35:12 +0000 |
---|---|---|
committer | Omar Polo <op@omarpolo.com> | 2023-06-05 20:35:12 +0000 |
commit | 0ac785a6fa007acdc8ecb4f697981c574ab1b710 (patch) | |
tree | 617c9e676e0f67a61d58bd3e7bbd84209c0ea190 /regress | |
parent | e1e04caa4f847162936a6908d3bc02a3dbdfac6d (diff) |
revert aae8f6bf2b
it's just not worth it to inflict this breaking change to the users.
Diffstat (limited to 'regress')
-rw-r--r-- | regress/lib.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/regress/lib.sh b/regress/lib.sh index 668ef28..b4a6934 100644 --- a/regress/lib.sh +++ b/regress/lib.sh @@ -93,8 +93,8 @@ EOF } checkconf() { - if ! $gmid -n -f reg.conf >/dev/null 2>&1; then - $gmid -n -f reg.conf + if ! $gmid -n -c reg.conf >/dev/null 2>&1; then + $gmid -n -c reg.conf fi } @@ -159,7 +159,7 @@ run() { return fi - $gmid -P gmid.pid -f reg.conf + $gmid -P gmid.pid -c reg.conf # give gmid time to bind the port, otherwise we end up # executing gg when gmid isn't ready yet. |