This is public API. Hence the suppression.

Good catch on calling shutdown twice. Do you want to crash or ignore?