The obvious option to stop dockered jenkins would be: docker stop some-container-name
But is that the correct way, or is it similar to kill -9 and there is a proper way of stopping it "gently"? Regards, Stanislav -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/CAFHiie7Rcsu4B2xWbNN5gJv%3DOn4H83Xaf0BS3inCtrezqtgBsQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
