Branch: refs/heads/master
Home: https://github.com/jenkinsci/coverity-plugin
Commit: 55d283808981742d11f58850cb427dab482e4b1d
https://github.com/jenkinsci/coverity-plugin/commit/55d283808981742d11f58850cb427dab482e4b1d
Author: Josh Vinson <jvin...@coverity.com>
Date: 2013-04-29 (Mon, 29 Apr 2013)
Changed paths:
M src/main/java/jenkins/plugins/coverity/CIMInstance.java
M src/main/java/jenkins/plugins/coverity/CoverityPublisher.java
M src/main/resources/jenkins/plugins/coverity/CoverityPublisher/global.jelly
A
src/main/resources/jenkins/plugins/coverity/CoverityPublisher/help-dataPort.html
Log Message:
-----------
Add commit port option for CIM instance configuration.
This is for rare situations where cov-commit-defects cannot obtain
the commit port using the http port. In that case, the user can
now specify the commit port manually.
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-commits+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
