From 86e81e83f0430894c6b0a8d2f994f23a53284731 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Thu, 20 Jun 2019 13:34:05 +0100
Subject: [PATCH] Correct WebSocket ctor invocation

---
 packages/driver-websocket/src/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/driver-websocket/src/index.js b/packages/driver-websocket/src/index.js
index 3840a59..64da0eb 100644
--- a/packages/driver-websocket/src/index.js
+++ b/packages/driver-websocket/src/index.js
@@ -42,7 +42,7 @@ spawn named 'WebSocketFactory' {
     const connect = () => {
       disconnect();
       console.log('WebSocket', id, url, 'connecting');
-      ws = new _WebSocket(url, options);
+      ws = new _WebSocket(url, [], options.toJS());
 
       ws.onerror = Dataspace.wrapExternal((e) => {
         console.error('WebSocket', id, url, e);