* Make the poll interval configurable.
This commit is contained in:
parent
096affb55b
commit
805144b705
2 changed files with 3 additions and 3 deletions
|
@ -2597,12 +2597,12 @@ void Worker::waitForInput()
|
||||||
|
|
||||||
/* If we are polling goals that are waiting for a lock, then wake
|
/* If we are polling goals that are waiting for a lock, then wake
|
||||||
up after a few seconds at most. */
|
up after a few seconds at most. */
|
||||||
int wakeUpInterval = 3;
|
int wakeUpInterval = queryIntSetting("build-poll-interval", 5);
|
||||||
|
|
||||||
if (!waitingForAWhile.empty()) {
|
if (!waitingForAWhile.empty()) {
|
||||||
useTimeout = true;
|
useTimeout = true;
|
||||||
if (lastWokenUp == 0)
|
if (lastWokenUp == 0)
|
||||||
printMsg(lvlError, "waiting for locks...");
|
printMsg(lvlError, "waiting for locks or build slots...");
|
||||||
if (lastWokenUp == 0 || lastWokenUp > before) lastWokenUp = before;
|
if (lastWokenUp == 0 || lastWokenUp > before) lastWokenUp = before;
|
||||||
timeout.tv_sec = std::max((time_t) 0, lastWokenUp + wakeUpInterval - before);
|
timeout.tv_sec = std::max((time_t) 0, lastWokenUp + wakeUpInterval - before);
|
||||||
} else lastWokenUp = 0;
|
} else lastWokenUp = 0;
|
||||||
|
|
|
@ -27,7 +27,7 @@ clearStore
|
||||||
|
|
||||||
rm -f $SHARED.cur $SHARED.max
|
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"
|
cmd="$nixstore -j1 -r $drvPath"
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue