-
Krzysztof Blazewicz authored
This patch makes second and next calls to <socket>.close() a no-op. It prevents GC from closing the underlying resource after user already used <socket>.close() explicitly. fixes #2355
fc73c9b4
This patch makes second and next calls to <socket>.close() a no-op. It prevents GC from closing the underlying resource after user already used <socket>.close() explicitly. fixes #2355