In reply to Re^4: script for adding timestamp to stdin by Anonymous Monk in thread script for adding timestamp to stdin by Anonymous Monk