From 2b87c219ca07aebcf6e8ff02009dca88babc04c3 Mon Sep 17 00:00:00 2001 From: Garrett D'Amore Date: Tue, 7 May 2019 20:26:05 -0700 Subject: Introduce nni_plat_printf() This permits the stats dump to avoid some extra buffering, and resolves a complaint about possible format buffer overruns. --- src/supplemental/websocket/websocket.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/supplemental/websocket/websocket.c') diff --git a/src/supplemental/websocket/websocket.c b/src/supplemental/websocket/websocket.c index fcd2eeb3..91affc62 100644 --- a/src/supplemental/websocket/websocket.c +++ b/src/supplemental/websocket/websocket.c @@ -1443,6 +1443,7 @@ ws_listener_free(void *arg) if (l->handler != NULL) { nni_http_handler_fini(l->handler); + l->handler = NULL; } if (l->server != NULL) { nni_http_server_fini(l->server); -- cgit v1.2.3-70-g09d2