travis-ci/travis-worker — pull request #107 by svenfuchs (2014-11-28 16:37:16+00:00)
Title: Bring back logging PID and TID

PID and TID were lost during the sf-te merge. This brings them back by default.