OpenGrok/OpenGrok — pull request #705 by vladak (2013-12-06 15:20:08+00:00)
Title: timeout for command execution

fixes #429
fixes #487