| Thu, 24 Apr 2014 18:04:18 +0200 | wenzelm | simplified commands_changed_buffer (in contrast to a8331fb5c959): rely on better performance of Consumer_Thread/Mailbox and more direct Timer (like session_actor.receiver); | changeset | files |
| Thu, 24 Apr 2014 16:52:17 +0200 | wenzelm | simplified -- prefer Consumer_Thread over Actor; | changeset | files |
| Thu, 24 Apr 2014 16:47:47 +0200 | wenzelm | tuned imports; | changeset | files |
| Thu, 24 Apr 2014 16:19:11 +0200 | wenzelm | support for requests with explicit acknowledgment (and exception propagation); | changeset | files |