servers index does not appear to be running

[jbfaden]

The process which indexes the servers appears to be failing, and has been for maybe nine months. It looks like it fails on one of the servers and the entire process is halted. I put in what I think is a fix, and also printing which server is being indexed, since logging doesn't seem to indicate this.

[rweigel]

It may be a good time to do #13