| commit | d0f3c0b8abec6dce96296a63bb54fffbcd993120 | |
| author | Paul Tarjan <ptarjan@fb.com> | |
| Wed, 19 Jun 2013 09:17:13 +0000 (19 02:17 -0700) | ||
| committer | Sara Golemon <sgolemon@fb.com> | |
| Tue, 25 Jun 2013 19:22:59 +0000 (25 12:22 -0700) | ||
| tree | e2298dc7ee02c80832c45fcb89adfe278e7b3567 | treesnapshot (tar.gz zip) |
| parent | 2096cd0acc96c68b6509e119eeb47ef6f7c03499 | commitdiff |
use timeout in php
Use a script from http://www.bashcookbook.com/bashinfo/source/bash-4.0/examples/scripts/timeout3
Use a script from http://www.bashcookbook.com/bashinfo/source/bash-4.0/examples/scripts/timeout3
| hphp/test/run | diffblobblamehistory | |
| hphp/tools/timeout.sh | [new file with mode: 0755] | blob |