diff options
| author | waja <waja@users.noreply.github.com> | 2023-06-28 14:39:09 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-28 14:39:09 (GMT) |
| commit | 103217831e07f26cead065985d0d007292ffd7ea (patch) | |
| tree | 418829165611b9da69b19e2bcd0c135bf08962ab /plugins-scripts/check_log.sh | |
| parent | f6f2ba34c713b5bc65936af836be24ebc74faf46 (diff) | |
| parent | b24eb7f46ac8667324efd818c01d68d5a1376c89 (diff) | |
| download | monitoring-plugins-103217831e07f26cead065985d0d007292ffd7ea.tar.gz | |
Merge branch 'master' into compiler_warning_part_3
Diffstat (limited to 'plugins-scripts/check_log.sh')
| -rwxr-xr-x | plugins-scripts/check_log.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins-scripts/check_log.sh b/plugins-scripts/check_log.sh index c623a8d..8ecdd31 100755 --- a/plugins-scripts/check_log.sh +++ b/plugins-scripts/check_log.sh | |||
| @@ -105,11 +105,11 @@ while test -n "$1"; do | |||
| 105 | case "$1" in | 105 | case "$1" in |
| 106 | -h | --help) | 106 | -h | --help) |
| 107 | print_help | 107 | print_help |
| 108 | exit "$STATE_OK" | 108 | exit "$STATE_UNKNOWN" |
| 109 | ;; | 109 | ;; |
| 110 | -V | --version) | 110 | -V | --version) |
| 111 | print_revision "$PROGNAME" "$REVISION" | 111 | print_revision "$PROGNAME" "$REVISION" |
| 112 | exit "$STATE_OK" | 112 | exit "$STATE_UNKNOWN" |
| 113 | ;; | 113 | ;; |
| 114 | -F | --filename) | 114 | -F | --filename) |
| 115 | logfile=$2 | 115 | logfile=$2 |