tree 19216c32d9962f012adb0144fcf9ae4df3afee4e
parent 1d94e650b48ec6f435d19b272e96ff30b4a9a9ef
author Dave Borowitz <dborowitz@google.com> 1406741218 -0700
committer Dave Borowitz <dborowitz@google.com> 1406779695 -0700

Display logs in a streaming fashion

JGit even on a fast workstation can only walk a few thousand commits
per second with rename detection on (and in a loaded server
environment it might be much slower). Loading a full page of 100 log
results for a file therefore might take many seconds.

Stream the output one log entry at a time so the page becomes
interactive slightly faster. Each HTTP chunk is a full <li></li> tag,
so browsers should be able to render incrementally.

This is much simpler than an alternative solution involving AJAX to
make multiple requests to the server, particularly in a multi-server
cluster environment where the client is not guaranteed to talk to the
same server (with the necessary RevWalk state in memory) on
consecutive requests.

Change-Id: I63c4bc655efd00453b6db60f333ba3dd5041e70a