From 7cccc955e6e31f16bd290b3c87944fcd7921465c Mon Sep 17 00:00:00 2001
From: Davide Bellettini <325358+dbellettini@users.noreply.github.com>
Date: Sat, 2 Aug 2025 22:15:50 +0200
Subject: [PATCH 1/2] Extract constant SLEEP_STEP_USEC

---
 src/Command/RobustCommandRunner.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Command/RobustCommandRunner.php b/src/Command/RobustCommandRunner.php
index f817252..0999442 100644
--- a/src/Command/RobustCommandRunner.php
+++ b/src/Command/RobustCommandRunner.php
@@ -14,6 +14,7 @@
 class RobustCommandRunner extends Command
 {
     private const int CYCLES_BEFORE_GC = 100;
+    private const int SLEEP_STEP_USEC = 50000;
 
     private const string LEADERSHIP_STATUS_ACQUIRED = 'acquired';
     private const string LEADERSHIP_STATUS_LOST = 'lost';
@@ -140,8 +141,8 @@ private function askedToStop(): bool
     private function sleepIfNotAskedToStop(int $milliSeconds): bool
     {
         $microSeconds = $milliSeconds * 1000;
-        for ($i = 0; $i < $microSeconds && !$this->askedToStop(); $i += 50000) {
-            usleep(50000);
+        for ($i = 0; $i < $microSeconds && !$this->askedToStop(); $i += self::SLEEP_STEP_USEC) {
+            usleep(self::SLEEP_STEP_USEC);
         }
 
         return $this->askedToStop();

From 58cc1ac90cc3374592186b6bde501f16990d8d7e Mon Sep 17 00:00:00 2001
From: Davide Bellettini <325358+dbellettini@users.noreply.github.com>
Date: Sat, 2 Aug 2025 22:16:07 +0200
Subject: [PATCH 2/2] Increase SLEEP_STEP_USEC to 200ms

---
 src/Command/RobustCommandRunner.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Command/RobustCommandRunner.php b/src/Command/RobustCommandRunner.php
index 0999442..f6ce795 100644
--- a/src/Command/RobustCommandRunner.php
+++ b/src/Command/RobustCommandRunner.php
@@ -14,7 +14,7 @@
 class RobustCommandRunner extends Command
 {
     private const int CYCLES_BEFORE_GC = 100;
-    private const int SLEEP_STEP_USEC = 50000;
+    private const int SLEEP_STEP_USEC = 200000;
 
     private const string LEADERSHIP_STATUS_ACQUIRED = 'acquired';
     private const string LEADERSHIP_STATUS_LOST = 'lost';