Bugfixes
Fixes issue 147 and 148.
Replaces not usually user-facing definition:
const WebSockets.DEFAULTOPTIONS
with
WebSockets.default_options()
Fixes issue 147 and 148.
Replaces not usually user-facing definition:
const WebSockets.DEFAULTOPTIONS
with
WebSockets.default_options()