diff options
Diffstat (limited to 'src/libstore/build/worker.hh')
-rw-r--r-- | src/libstore/build/worker.hh | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/libstore/build/worker.hh b/src/libstore/build/worker.hh index 101e553fd..3644039fb 100644 --- a/src/libstore/build/worker.hh +++ b/src/libstore/build/worker.hh @@ -114,6 +114,14 @@ private: */ void waitForBuildSlot(GoalPtr goal); + /** + * Wait for a few seconds and then retry this goal. Used when + * waiting for a lock held by another process. This kind of + * polling is inefficient, but POSIX doesn't really provide a way + * to wait for multiple locks in the main select() loop. + */ + void waitForAWhile(GoalPtr goal); + public: const Activity act; @@ -240,14 +248,6 @@ public: void childTerminated(Goal * goal); /** - * Wait for a few seconds and then retry this goal. Used when - * waiting for a lock held by another process. This kind of - * polling is inefficient, but POSIX doesn't really provide a way - * to wait for multiple locks in the main select() loop. - */ - void waitForAWhile(GoalPtr goal); - - /** * Loop until the specified top-level goals have finished. */ void run(const Goals & topGoals); |