From 18fec64b8e0622045a19fe95b065ab67e002c4a9 Mon Sep 17 00:00:00 2001 From: atlewee Date: Mon, 24 Jul 2017 17:26:56 +0200 Subject: [PATCH] Small updates to Websocket.elm comments --- src/WebSocket.elm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/WebSocket.elm b/src/WebSocket.elm index 5aa256d..e83e54b 100644 --- a/src/WebSocket.elm +++ b/src/WebSocket.elm @@ -7,9 +7,9 @@ effect module WebSocket where { command = MyCmd, subscription = MySub } exposing {-| Web sockets make it cheaper to talk to your servers. Connecting to a server takes some time, so with web sockets, you make that -connection once and then keep using. The major benefits of this are: +connection once and then keep using it. The major benefits of this are: - 1. It faster to send messages. No need to do a bunch of work for every single + 1. It is faster to send messages. No need to do a bunch of work for every single message. 2. The server can push messages to you. With normal HTTP you would have to