diff options
| author |  wm4 <wm4@nowhere> | 2015-04-21 22:36:46 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2015-04-21 22:39:06 +0200 |
| commit | bcf3904a0de2856b73a13d6e45de28afd15e6b6b (patch) | |
| tree | cd1b409be97eaef129cacfffb8a1e7ec06aa09ec /TOOLS | |
| parent | 1299fbec05f80ab38b2335af1a6eea472eec62a8 (diff) | |
cache: exit early on cancellation
An approximate measure to make it exit possibly slightly earlier.
Relatively speaking, some time will pass between cancellation and
the cache actually being requested to exit, so it's good if the
cache returns EOF immediately.
Diffstat (limited to 'TOOLS')
0 files changed, 0 insertions, 0 deletions