[php-src] Issue #13024: `set_time_limit` function to accept float
| From: | mvorisek | Date: | Mon, 25 Dec 2023 15:40:40 +0000 |
| Subject: | [php-src] Issue #13024: `set_time_limit` function to accept float | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-246125@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/13024
Author: mvorisek
### Description
This is a feature request to accept float in
set_time_limit function.
This will allow to set more precise time limit especially for very fast scripts like
set_time_limit(0.1).
Native linux timeout does support float as well - https://man7.org/linux/man-pages/man1/timeout.1.html