jenkins: make Interrupted Exception more generic
@@ -1443,7 +1443,7 @@ def detectInterruption(Closure c) {
}
class UserInterruptedException extends Exception {
- UserInterruptedException(String message) {
- super(message)
+ UserInterruptedException(e) {
+ super(e)
}
}
