search

jenkinsci / build-timeout-plugin

Jenkins build-timeout plugin
https://plugins.jenkins.io/build-timeout/
31 stars 80 forks source link

Fix JENKINS-9203 #3

Closed lowdesertpunk closed 13 years ago

lowdesertpunk commented 13 years ago

Couldn't find the fix for the build-timeout plugin itself. The new interrupt(Result result) method introduced in 1.418 is used instead of the original interrupt().

ghost commented 13 years ago

This pull request adds a feature already in the plugin. Sorry your PR was not noticed in time, please keep on contributing! :-)