tree 6636eb861a0dca3c1ad649a6193eec08158935d5
parent 56425a25939e630256ae75f333b555a53e41cecf
author Manuel Carrasco Moñino <manuel.carrasco.m@gmail.com> 1406710839 +0200
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1408162609 +0000

Use codeserver progress web service.

- Check that the server is idle before compiling.
- Report some kind of progress when compiling.

Change-Id: Ia3b4dde32d9364d15513eeef77cd6799fc95d2d1