Bug#704848: Restarting jenkins fails reliably

[Guido Günther]

Package: jenkins
Version: 1.480.3+dfsg-1~exp1
Severity: important

Hi,
restarting jenkins fails reliably with:

# /etc/init.d/jenkins restart
[....] Restarting Jenkins Continuous Integration Server: jenkinsThe selected http port (8080) seems to be in use by another program 
Please select another port to use for jenkins
 failed!

Starting it again shortly afterwards works as expected. 
Cheers,
 -- Guido


-- System Information:
Debian Release: 7.0
  APT prefers testing
  APT policy: (990, 'testing'), (50, 'unstable'), (1, 'experimental')
Architecture: i386 (i686)

Kernel: Linux 3.2.0-4-686-pae (SMP w/2 CPU cores)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash