While you could probably intercept this somehow on the Jenkins plugin side, Jenkins should be sending SIGTERM (on Unix; not sure about Windows) so it would seem most appropriate to have the native command handle that gracefully. You would need to ask in another forum how best to do that in C#.
-- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr1SuN_f5BouSuhznEy2nOSXM1DwtpwrkhLzF9ga%2BF1Neg%40mail.gmail.com.
