diff options
author | Lorenz Kästle <12514511+RincewindsHat@users.noreply.github.com> | 2023-07-11 23:08:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-11 23:08:31 +0200 |
commit | e4b6e83264e7f948a868d89229c28bcccd98699f (patch) | |
tree | d5046000910b42d18c6fe42634f9cec9e96d9c0e /plugins/check_dbi.c | |
parent | 9ef6660cab8eb2b017323b9e000cb3560f07886b (diff) | |
parent | 65aa35d1afdea2570309efc7a08050504a53f091 (diff) | |
download | monitoring-plugins-e4b6e83.tar.gz |
Merge branch 'master' into compiler_warning_part_6
Diffstat (limited to 'plugins/check_dbi.c')
-rw-r--r-- | plugins/check_dbi.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/check_dbi.c b/plugins/check_dbi.c index bbeb3d6e..c24ca248 100644 --- a/plugins/check_dbi.c +++ b/plugins/check_dbi.c | |||
@@ -433,6 +433,7 @@ process_arguments (int argc, char **argv) | |||
433 | else | 433 | else |
434 | timeout_interval = atoi (optarg); | 434 | timeout_interval = atoi (optarg); |
435 | 435 | ||
436 | break; | ||
436 | case 'H': /* host */ | 437 | case 'H': /* host */ |
437 | if (!is_host (optarg)) | 438 | if (!is_host (optarg)) |
438 | usage2 (_("Invalid hostname/address"), optarg); | 439 | usage2 (_("Invalid hostname/address"), optarg); |