#6774: explain shutdown() behavior varying with platform.
1 file changed