Prepend datestamps to lines coming from stdin

timestamper.php

#!/usr/bin/env php5
<?php

# It's a dead-simple utility that prefixes lines with the current timestamp.
# With Bash it's supposed to be used something like this:
#     yourcommand | timestamper | tee whatever.log

while (!feof(STDIN)) {
    $line = trim(fgets(STDIN));
    print strftime('%Y-%m-%d %H:%M:%S  ') . "$line\n";
}

?>