tree 539eed73a56ee714d4448ba57806e03e419c096e
parent cf38c03d941576c7a6c41cbe9713b0289ca6999d
author Han-Wen Nienhuys <hanwen@google.com> 1462203291 +0200
committer Han-Wen Nienhuys <hanwen@google.com> 1462203291 +0200

Also reformat main servlet code.

Background: see https://gerrit-review.googlesource.com/c/77101/.

Change-Id: I1a66e301334a2fb9986ac35a5adf0b05e0c0079d