diff options
| author | ghciv6 <ghciv6@maginus.de> | 2020-04-13 20:44:26 +0200 |
|---|---|---|
| committer | Sven Nierlein <sven@nierlein.org> | 2020-04-14 12:37:00 +0200 |
| commit | 4264e7a6edb651793ef751723537767656a89e44 (patch) | |
| tree | 080a76653745399136986d756a8729a71cfa3b8d /tools/devmode | |
| parent | d008be68255b192f0354c523938c40643e39795f (diff) | |
| download | monitoring-plugins-4264e7a6edb651793ef751723537767656a89e44.tar.gz | |
- workaround for issue #1550
- better use "ping -4" instead of "ping" if supported
Diffstat (limited to 'tools/devmode')
0 files changed, 0 insertions, 0 deletions