OpenGrok/OpenGrok — pull request #750 by vladak (2014-02-13 15:02:09+00:00)
Title: better logging for indexing

fixes #749