Add user-friendly explanation for server timeout.
[frank.git] / jcov /
2014-12-12 Chris JaeklInitial