diff options
| author | bjorn <bjorn@bringert.net> | 2008-11-03 21:07:53 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-11-03 21:07:53 +0000 |
| commit | 3a6466ac1a686f262b62e4f4b455f57b284e0911 (patch) | |
| tree | 107159ae3428862c0ab4afe4d472661f7c5e1bc9 /src/server/FastCGIUtils.hs | |
| parent | d6f09a941f4b5f96d4c7364461c318ca64389b17 (diff) | |
Fix GWT client-side completion caching bug. Typing a space and then a letter quickly would cause the first request to be cancelled, and the second would use the two steps old results, which didn't go past the space => 0 completions.
Diffstat (limited to 'src/server/FastCGIUtils.hs')
0 files changed, 0 insertions, 0 deletions