openshift/origin-server — pull request #4079 by jwforres (2013-11-04 17:46:52+00:00)
Title: Enabling jenkins can throw an exception if the jenkins server was

deleted after the enable jenkins page was loaded.