From 29c19060614ec2056a7dfa90415057f19191a404 Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Fri, 6 Oct 2023 15:52:35 +0200
Subject: Fix a few deprecation warnings on PHP 8.2

---
 inc/taskmanager.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'inc/taskmanager.inc.php')

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;
-- 
cgit v1.2.3-55-g7522