If I have time to do it, I stop boss miner service before shutdown.

I don't know if it is proper way or not but probably does not hurt to do it.