diff options
-rwxr-xr-x | plugins-scripts/check_log.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins-scripts/check_log.sh b/plugins-scripts/check_log.sh index 8af07b5e..382bd72c 100755 --- a/plugins-scripts/check_log.sh +++ b/plugins-scripts/check_log.sh | |||
@@ -77,7 +77,7 @@ print_usage() { | |||
77 | } | 77 | } |
78 | 78 | ||
79 | print_help() { | 79 | print_help() { |
80 | print_revision "$PROGNAME" $REVISION | 80 | print_revision "$PROGNAME" "$REVISION" |
81 | echo "" | 81 | echo "" |
82 | print_usage | 82 | print_usage |
83 | echo "" | 83 | echo "" |
@@ -111,11 +111,11 @@ while test -n "$1"; do | |||
111 | exit "$STATE_OK" | 111 | exit "$STATE_OK" |
112 | ;; | 112 | ;; |
113 | --version) | 113 | --version) |
114 | print_revision "$PROGNAME" $REVISION | 114 | print_revision "$PROGNAME" "$REVISION" |
115 | exit "$STATE_OK" | 115 | exit "$STATE_OK" |
116 | ;; | 116 | ;; |
117 | -V) | 117 | -V) |
118 | print_revision "$PROGNAME" $REVISION | 118 | print_revision "$PROGNAME" "$REVISION" |
119 | exit "$STATE_OK" | 119 | exit "$STATE_OK" |
120 | ;; | 120 | ;; |
121 | --filename) | 121 | --filename) |