diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-30 11:34:03 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-30 11:34:03 +0000 |
commit | 805144b705305fc6ba22645cebf52daaf835ca49 (patch) | |
tree | e9ab7fa789ea8ea3fa55ac40e0e092b651dffa1b | |
parent | 096affb55b06c1280df9ff6b1fd5111d5745b57a (diff) | |
download | guix-805144b705305fc6ba22645cebf52daaf835ca49.tar.gz |
* Make the poll interval configurable.
-rw-r--r-- | src/libstore/build.cc | 4 | ||||
-rw-r--r-- | tests/parallel.sh | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/libstore/build.cc b/src/libstore/build.cc index b448cc6b7f..1482d69269 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; diff --git a/tests/parallel.sh b/tests/parallel.sh index ddfb1523bc..946e0a103b 100644 --- a/tests/parallel.sh +++ b/tests/parallel.sh @@ -27,7 +27,7 @@ clearStore rm -f $SHARED.cur $SHARED.max -drvPath=$($nixinstantiate parallel.nix --argstr sleepTime 7) +drvPath=$($nixinstantiate parallel.nix --argstr sleepTime 8) cmd="$nixstore -j1 -r $drvPath" |