diff options
| author | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2023-03-12 19:56:43 +0100 |
|---|---|---|
| committer | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2023-04-18 00:18:07 +0200 |
| commit | f7687d47cb0841d0bc12ef205fcbaef8bf2e3805 (patch) | |
| tree | 775d3dc69ae69bff4c57c41bbdfaea3e7086ab6d /plugins/check_dbi.c | |
| parent | 41fb615f3de34c3b3a344e74fd9cc24936cd58a6 (diff) | |
| download | monitoring-plugins-f7687d47cb0841d0bc12ef205fcbaef8bf2e3805.tar.gz | |
Fixes for -Wimplicit-fallthrough
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 ced13d05..d73efbb2 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); |