diff options
| author | waja <waja@users.noreply.github.com> | 2023-06-28 16:39:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-28 16:39:27 +0200 |
| commit | 265a7c0ed8ccde7868bb7e77c44aecc403743c21 (patch) | |
| tree | 3a02f6ce03e8f781dcfca22ee1f17817225a0ff9 /plugins-scripts/check_log.sh | |
| parent | b96a8424f0ec6206238b650c2c63b4bd006ab43a (diff) | |
| parent | b24eb7f46ac8667324efd818c01d68d5a1376c89 (diff) | |
| download | monitoring-plugins-265a7c0ed8ccde7868bb7e77c44aecc403743c21.tar.gz | |
Merge branch 'master' into compiler_warning_part_2
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 c623a8d6..8ecdd316 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 |