Fix up wait_for_stability delays

diff --git a/pctb/pages.c b/pctb/pages.c
index 72f9bb478a982f5b0206af12c2cc0b6209c6df83..0c0a79cf7383b7aa883850022c85dec6db141e73 100644 (file)
--- a/pctb/pages.c
+++ b/pctb/pages.c
@@ -355,7 +355,7 @@ static void wait_for_stability(Snapshot **output,
          "  last_input=%f previously=%p `%s'\n",
          last_input, previously, doing);
 
-  double min_interval= 25000; /*us*/
+  double min_interval= 0.025; /*us*/
   for (;;) {
     progress_spinner("%s",doing);
     
@@ -363,7 +363,7 @@ static void wait_for_stability(Snapshot **output,
     double this_interval= min_interval - since_last_input;
 
     if (this_interval >= 0)
-      usleep(this_interval);
+      delay(this_interval);
 
     snapshot(output);
 
@@ -376,7 +376,7 @@ static void wait_for_stability(Snapshot **output,
       nidentical=0;
       if (!with_keypress) {
        min_interval *= 3.0;
-       min_interval += 0.5;
+       min_interval += 0.1;
       }
     } else {
       nidentical++;
@@ -389,7 +389,7 @@ static void wait_for_stability(Snapshot **output,
       if (nidentical >= threshold)
        break;
 
-      min_interval += 0.5;
+      min_interval += 0.1;
       min_interval *= 2.0;
     }