Patches for check_ping: Option to ignore duplicate replies [sf#1892974] [#882]