tree 225a57bc12253e7ca9854bf564fdb2d69263c31a
parent 75563e34a4e64a8e805e6810b13e07f1cafec137
author Vladimir Marko <vmarko@google.com> 1460020351 +0100
committer Vladimir Marko <vmarko@google.com> 1460022792 +0100

Add 20s timeout to 570-checker-osr.

It's better to report a timeout than to hang indefinitely.

Change-Id: Ibfa8059c8b44220c7a55801b020094fc342c8047