Commit 283efe5ae4c2c09e4e57e3797383a336a09d190b

Thomas de Grivel 2014-10-03T12:11:19

Print shell pid and command.