tree e6c6808f3729001d6bf93f3a6775b7726db1367c
parent 87434bef4b92ca4492927998dcdbec7df971b3c5
author Davide Pesavento <davidepesa@gmail.com> 1564025705 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1564096822 -0400

poke: exit with status 3 on timeout

Change-Id: Idb021fe1fa1c3d40dbcfc87d4b1dadbea6cb28f6