tree 4d1f4df1d4bf3ab74cfcc6fd317fa12076f7e208
parent 1f2ba2c6317323dd667bd266c1e8ebffc4a4c62f
author Giovanni Bajo <rasky@develer.com> 1418670122 +0100
committer Giovanni Bajo <rasky@develer.com> 1418670122 +0100

Allow disabling timestamp in non-tty output.

This is useful if the output is already being piped to a logger
daemon that will prefix the timestamp by itself (eg: on heroku).