diff options
| author | Vincent-Michael <Vincent_Michael@gmx.de> | 2014-07-21 18:13:48 +0200 |
|---|---|---|
| committer | Vincent-Michael <Vincent_Michael@gmx.de> | 2014-07-21 18:14:22 +0200 |
| commit | 946ab3e8b71ad106c7e75fd78b96d70865b29d79 (patch) | |
| tree | 58ddb80a4e2d1d9b5884e42fcfa178b7e19ed4ce /src/server/shared/Threading/ProducerConsumerQueue.h | |
| parent | f4d065dee0c2f2cdc61af5b4b84f1e019881aa8f (diff) | |
Core: Kill again whitespace :(
Diffstat (limited to 'src/server/shared/Threading/ProducerConsumerQueue.h')
| -rw-r--r-- | src/server/shared/Threading/ProducerConsumerQueue.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/server/shared/Threading/ProducerConsumerQueue.h b/src/server/shared/Threading/ProducerConsumerQueue.h index 3fefd27ba6e..98a0188b6b5 100644 --- a/src/server/shared/Threading/ProducerConsumerQueue.h +++ b/src/server/shared/Threading/ProducerConsumerQueue.h @@ -76,7 +76,7 @@ public: { _condition.wait(lock); } - + if (_queue.empty()) return; @@ -106,6 +106,6 @@ public: } }; -#endif +#endif |