diff options
Diffstat (limited to 'inc/taskmanager.inc.php')
| -rw-r--r-- | inc/taskmanager.inc.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/taskmanager.inc.php b/inc/taskmanager.inc.php index 4e534018..700ea4ad 100644 --- a/inc/taskmanager.inc.php +++ b/inc/taskmanager.inc.php @@ -141,7 +141,7 @@ class Taskmanager $done = false; $deadline = microtime(true) + $timeout / 1000; while (($remaining = $deadline - microtime(true)) > 0) { - usleep(min(100000, $remaining * 100000)); + usleep((int)min(100000, $remaining * 100000)); $status = self::status($task); if (!isset($status['statusCode'])) break; |