#!/bin/sh

ping -i 0.5 $1 | \
    while read pong; do
        echo "$(date +%Y-%m-%d\ %H:%M:%S.%03N) pinger DEBUG $pong";
    done