mirror of
https://github.com/nodejs/node.git
synced 2026-11-09 15:11:11 -05:00
Workers that are already disconnected but not yet exited should not be disconnected, trying to do so raises exceptions. PR-URL: https://github.com/joyent/node/pull/8642 Reviewed-by: Bert Belder <bertbelder@gmail.com>