-
Lucas Russo authored
Sending the $TERM message multiple time is unnecessary now. We used to do that before properly shutting down the SMIOs.
8f8ff29f
Sending the $TERM message multiple time is unnecessary now. We used to do that before properly shutting down the SMIOs.