jruby/jruby — pull request #128 by kohsuke (2012-03-16 17:08:00+00:00)
Title: Fix Signal.trap("INT","DEFAULT")

This new version works harder trying to restore the Java's default signal handler. In particular, when the user code is trapping SIGINT, this code will correctly restore JVM's default 'Terminator' handler that calls Java shutdown hooks.

This affects Jenkins' Vagrant plugin. See https://github.com/rtyler/vagrant-plugin/issues/14