about summary refs log tree commit diff
path: root/src/libstore/build.cc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-03-30T11·34+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-03-30T11·34+0000
commit805144b705305fc6ba22645cebf52daaf835ca49 (patch)
treee9ab7fa789ea8ea3fa55ac40e0e092b651dffa1b /src/libstore/build.cc
parent096affb55b06c1280df9ff6b1fd5111d5745b57a (diff)
* Make the poll interval configurable.
Diffstat (limited to 'src/libstore/build.cc')
-rw-r--r--src/libstore/build.cc4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/libstore/build.cc b/src/libstore/build.cc
index b448cc6b7fc3..1482d6926920 100644
--- a/src/libstore/build.cc
+++ b/src/libstore/build.cc
@@ -2597,12 +2597,12 @@ void Worker::waitForInput()
 
     /* If we are polling goals that are waiting for a lock, then wake
        up after a few seconds at most. */
-    int wakeUpInterval = 3;
+    int wakeUpInterval = queryIntSetting("build-poll-interval", 5);
         
     if (!waitingForAWhile.empty()) {
         useTimeout = true;
         if (lastWokenUp == 0)
-            printMsg(lvlError, "waiting for locks...");
+            printMsg(lvlError, "waiting for locks or build slots...");
         if (lastWokenUp == 0 || lastWokenUp > before) lastWokenUp = before;
         timeout.tv_sec = std::max((time_t) 0, lastWokenUp + wakeUpInterval - before);
     } else lastWokenUp = 0;