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 | |
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.
-rw-r--r-- | tests/lang/045.phpt | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/tests/lang/045.phpt b/tests/lang/045.phpt index 44fb801410..e5299ae222 100644 --- a/tests/lang/045.phpt +++ b/tests/lang/045.phpt @@ -13,13 +13,7 @@ set_time_limit(1); register_shutdown_function("plop"); function plop() { - $ts = time(); - while(true) { - if ((time()-$ts) > 2) { - echo "Failed!"; - break; - } - } + while (true); } plop(); ?> |