diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-04-29 10:12:53 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-04-29 10:12:53 +0200 |
commit | b1b98e08d0ad4bbbb213c002188ffa47075a8b0d (patch) | |
tree | 33beae2ed9d254940c53f45b8b2324e89e5218c3 /ext | |
parent | 75470bc312ef2e151696ea5c1ee026c089944623 (diff) | |
download | php-git-b1b98e08d0ad4bbbb213c002188ffa47075a8b0d.tar.gz |
Make 045.phpt busy wait
The timeout is only real-time based on Windows. Make this use
a busy wait loop instead. If hard_timeout is broken, this will
fail with a run-tests enforced timeout instead.
Diffstat (limited to 'ext')
0 files changed, 0 insertions, 0 deletions