Give webdrivers more time to start up. (#151)

Especially the safari webdriver can need a lot of time to start.
toitlang · Jan 3, 2025 · a5702f0 · a5702f0
1 parent 2972d95
commit a5702f0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/tests/webdriver.toit b/tests/webdriver.toit
@@ -54,6 +54,7 @@ class WebDriver:
     url := "http://localhost:$port"
 
     MAX-ATTEMPTS := 20
+    sleep-time := 100
     for i := 0; i < MAX-ATTEMPTS; i++:
       exception := catch --unwind=(: i == MAX-ATTEMPTS - 1):
         response := client_.post-json --uri="$url/session" {
@@ -92,7 +93,8 @@ class WebDriver:
 
       if not exception: return
       // Probably hasn't started yet. Just try again.
-      sleep --ms=(100 * i)
+      sleep --ms=sleep-time
+      sleep-time *= 2
 
   close:
     pid := child-process_