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/mini_epn.c | |
| 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/mini_epn.c')
0 files changed, 0 insertions, 0 deletions