use pump to pipe sockets

Ensures that destination socket close or destroy also does the same for
the source socket.

server.js

@@ -146,7 +146,7 @@ export default function(opt) {
 
         const client = manager.getClient(clientId);
         if (!client) {
-            sock.destroy();
+            socket.destroy();
             return;
         }