]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75470bc) | patch
Make 045.phpt busy wait
authorNikita Popov <nikita.ppv@gmail.com>
Wed, 29 Apr 2020 08:12:53 +0000 (10:12 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Wed, 29 Apr 2020 08:12:53 +0000 (10:12 +0200)
commitb1b98e08d0ad4bbbb213c002188ffa47075a8b0d
tree33beae2ed9d254940c53f45b8b2324e89e5218c3tree | snapshot
parent75470bc312ef2e151696ea5c1ee026c089944623commit | diff
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.
tests/lang/045.phpt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.