Jared Boone d8b3b4cb6b Check queue empty only once when reading messages.
There was a second is_empty() call hidden in the pop() call, so the while(condition) was redundant.
2015-08-27 14:27:29 -07:00
..
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-08-27 11:10:44 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-08-27 13:57:31 -07:00
2015-08-14 12:21:49 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00
2015-07-08 08:39:24 -07:00