Mahmood Ali
ab4b42f4f4
exec: http: close websocket connection gracefully
...
In this loop, we ought to close the websocket connection gracefully when
the StreamErrWrapper reaches EOF.
Previously, it's possible that that we drop the last few events or skip sending
the websocket closure. If `handler(handlerPipe)` returns and `cancel` is called,
before the loop here completes processing streaming events, the loop exits
prematurely without propagating the last few events.
Instead here, the loop continues until we hit `httpPipe` EOF (through
`decoder.Decode`), to ensure we process the events to completion.
2021-05-24 13:37:23 -04:00
..
2021-05-07 12:10:26 -04:00
2020-03-23 19:32:58 -04:00
2020-07-02 09:51:25 -04:00
2019-11-05 11:44:29 -05:00
2020-12-10 07:29:18 -08:00
2019-07-20 16:55:07 +02:00
2021-03-23 09:08:14 -04:00
2021-04-13 01:51:24 -07:00
2021-03-10 08:17:56 -05:00
2020-04-07 09:27:48 -04:00
2020-12-07 17:34:40 -05:00
2020-05-27 13:46:52 -04:00
2021-04-13 13:28:15 -04:00
2021-04-28 10:28:23 -04:00
2020-11-15 17:47:50 +00:00
2021-05-24 13:37:23 -04:00
2021-05-12 22:43:48 +00:00
2020-10-06 08:28:18 +02:00
2021-03-23 09:08:14 -04:00
2020-05-28 15:40:17 -04:00
2021-03-23 09:08:14 -04:00
2020-06-19 09:42:10 -04:00
2021-04-20 13:55:10 -04:00
2021-04-28 10:28:23 -04:00
2021-04-08 13:02:24 -04:00
2021-04-07 12:00:33 -04:00
2020-10-19 09:30:15 -04:00
2020-06-17 11:04:02 -04:00
2020-10-19 09:30:15 -04:00
2020-11-30 14:00:31 -05:00
2020-12-08 13:09:20 -05:00
2020-10-19 09:30:15 -04:00
2020-03-31 09:48:07 -04:00
2020-02-07 15:50:53 -08:00
2018-10-16 16:56:55 -07:00
2021-02-08 12:53:06 -06:00
2020-04-20 10:33:40 -04:00
2020-04-20 10:33:40 -04:00
2021-04-02 13:53:28 +00:00
2021-04-16 16:36:07 -06:00
2021-05-07 12:10:26 -04:00
2021-05-07 12:10:26 -04:00
2020-10-01 11:13:06 -04:00
2020-10-01 11:12:14 -04:00
2019-10-10 13:51:16 +02:00
2019-10-10 14:02:14 +02:00
2019-07-24 13:37:08 +02:00
2021-03-09 15:28:58 +01:00
2021-03-09 15:28:58 +01:00
2020-10-22 15:26:32 -07:00
2020-10-22 15:26:32 -07:00
2021-05-07 13:58:40 -04:00
2021-05-07 13:58:40 -04:00
2021-02-08 12:53:06 -06:00
2021-05-02 22:53:53 -04:00
2021-05-02 22:53:53 -04:00
2019-01-22 15:50:08 -08:00
2018-09-13 10:43:40 -07:00
2018-09-13 10:43:40 -07:00
2020-10-28 14:32:16 +00:00
2020-12-08 12:47:04 -08:00
2021-04-16 16:36:07 -06:00
2021-04-16 16:36:07 -06:00
2018-05-30 15:11:54 -05:00
2018-02-15 13:59:02 -08:00
2019-01-22 15:44:31 -08:00
2019-01-22 15:44:31 -08:00
2021-04-28 10:28:23 -04:00
2021-04-28 10:28:23 -04:00
2020-11-23 10:11:00 -06:00