diff options
Diffstat (limited to 'src/tools/echo/echo_server.c')
| -rw-r--r-- | src/tools/echo/echo_server.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/echo/echo_server.c b/src/tools/echo/echo_server.c index 771155f4..22175a65 100644 --- a/src/tools/echo/echo_server.c +++ b/src/tools/echo/echo_server.c @@ -31,7 +31,7 @@ void shutdown_server(int signo) { (void) signo; - ap_fini(); + ouroboros_fini(); exit(EXIT_SUCCESS); } |