Public feed
#2133939
public static void Destroy(this Socket socket) {
if (socket != null) {
try {
socket.Close(100);
#if !MONO
socket.Dispose();
#endif
}
catch { }
}
}