diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-05-04 07:56:03 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-05-04 08:01:58 +0200 |
commit | 00e76db8c2253d431ced1c2b31a793f7332ffd40 (patch) | |
tree | e835d7c716a3fb9de7165b156696280b1df63bb8 /src/checkqueue.h | |
parent | aa9fa938d9ba739575533246087e0a4177d22d10 (diff) | |
parent | b05a89b2def301704df8f22f05a45ccf891c2b83 (diff) |
Merge pull request #6085
b05a89b Non-grammatical language improvements (Luke Dashjr)
7e6d23b Bugfix: Grammar fixes (Corinne Dashjr)
Diffstat (limited to 'src/checkqueue.h')
-rw-r--r-- | src/checkqueue.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/checkqueue.h b/src/checkqueue.h index 6f6b97e3a7..20ba25bb41 100644 --- a/src/checkqueue.h +++ b/src/checkqueue.h @@ -54,7 +54,7 @@ private: /** * Number of verifications that haven't completed yet. - * This includes elements that are not anymore in queue, but still in + * This includes elements that are no longer queued, but still in the * worker's own batches. */ unsigned int nTodo; @@ -81,7 +81,7 @@ private: fAllOk &= fOk; nTodo -= nNow; if (nTodo == 0 && !fMaster) - // We processed the last element; inform the master he or she can exit and return the result + // We processed the last element; inform the master it can exit and return the result condMaster.notify_one(); } else { // first iteration @@ -136,7 +136,7 @@ public: Loop(); } - //! Wait until execution finishes, and return whether all evaluations where successful. + //! Wait until execution finishes, and return whether all evaluations were successful. bool Wait() { return Loop(true); |