diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2019-10-11 15:22:34 (GMT) |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2019-10-11 15:22:34 (GMT) |
commit | ede43c848d5ea8cb1d7fb23af1d638e6fff9aa41 (patch) | |
tree | bc646cd473372aff2717135dc3dfc212aac8c642 /tools/mini_epn.c | |
parent | 04c58e021097d0dda4d5ebbb3c2f96e45e50ffd4 (diff) | |
download | monitoring-plugins-ede43c848d5ea8cb1d7fb23af1d638e6fff9aa41.tar.gz |
setting no_body to TRUE when we have a HEAD request
Diffstat (limited to 'tools/mini_epn.c')
0 files changed, 0 insertions, 0 deletions