jenkinsci/jenkins — pull request #311 by oldelvet (2011-11-16 00:49:29+00:00)
Title: [FIXED JENKINS-11744] Debian/Ubuntu init script does not wait long enough

... during stop operation

Increase stop timeout from 5 to 20 seconds.