diff options
| author | waja <waja@users.noreply.github.com> | 2023-07-11 05:34:35 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-11 05:34:35 (GMT) |
| commit | fa48c3cfe1d0be363d220610640e595430792e9c (patch) | |
| tree | d912e364ee3a963a4fe6879a45ee57bd3d00e6fc /plugins/check_dbi.c | |
| parent | 85c8210e58b1e9fd47d04f2d72145322cbd20353 (diff) | |
| parent | 443f665c6c92c2b67a47cbe37acd7aae1e07de5c (diff) | |
| download | monitoring-plugins-fa48c3cfe1d0be363d220610640e595430792e9c.tar.gz | |
Merge branch 'master' into update-po
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 ced13d0..d73efbb 100644 --- a/plugins/check_dbi.c +++ b/plugins/check_dbi.c | |||
| @@ -426,6 +426,7 @@ process_arguments (int argc, char **argv) | |||
| 426 | else | 426 | else |
| 427 | timeout_interval = atoi (optarg); | 427 | timeout_interval = atoi (optarg); |
| 428 | 428 | ||
| 429 | break; | ||
| 429 | case 'H': /* host */ | 430 | case 'H': /* host */ |
| 430 | if (!is_host (optarg)) | 431 | if (!is_host (optarg)) |
| 431 | usage2 (_("Invalid hostname/address"), optarg); | 432 | usage2 (_("Invalid hostname/address"), optarg); |