Kill -9 should always be a last resort solution.
docker stop should work.
But beware the stop timeout. If for some reason your Jenkins instance takes more than 10 seconds to stop gracefully, docker will then kill (-9) it.
In that case use the option to possibly make that timeout a bit higher.
Cheers
--
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 jenkinsci-use...@googlegroups.com.
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.