diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2002-01-18 15:37:22 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2002-01-18 15:37:22 +0000 |
| commit | 78726377e4cc74b0ec1b1d0ccfac81a048e3858a (patch) | |
| tree | de42d63333ee65b69e65bfa1b465d3e24329050c /tasks | |
| parent | 10db2ca377cb71644255405dcadef7fa9d19660d (diff) | |
2001-01-16 Marcus Brinkmann <marcus@gnu.org>
* demuxer.c (pager_demuxer): If the message was not accepted by
one of the servers, acquire a reference to the pager and its lock,
and wait until all previous messages have been processed. This
makes sure that the next message that arrives can proceed.
Reported by Neal H Walfield <neal@cs.uml.edu>
Diffstat (limited to 'tasks')
0 files changed, 0 insertions, 0 deletions