zzbot bd302907f5 Auto merge of #2704 - micbou:stop-polling-if-server-crashed, r=bstaletic ... [READY] Stop polling for readiness if the server crashed There is no need to continue polling the server if its process has terminated (i.e. the server crashed). This fixes issue https://github.com/Valloric/YouCompleteMe/issues/2683 when the server is not working. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/valloric/youcompleteme/2704) <!-- Reviewable:end -->		2017-07-05 01:28:17 -07:00
..
ycm	Auto merge of #2704 - micbou:stop-polling-if-server-crashed, r=bstaletic	2017-07-05 01:28:17 -07:00
test_requirements.txt	Require coverage.py older than 4.4	2017-06-04 16:42:54 +02:00