From 3869a045d87c3979eff9dcc47c174e5ad1c81eee Mon Sep 17 00:00:00 2001
From: Andrej Babic <andrej.babic@psi.ch>
Date: Wed, 24 Jan 2018 16:21:56 +0100
Subject: [PATCH] Rest interface uses new Kill command

---
 src/rest_interface.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/rest_interface.cpp b/src/rest_interface.cpp
index 39bb195..250e4b6 100644
--- a/src/rest_interface.cpp
+++ b/src/rest_interface.cpp
@@ -16,7 +16,7 @@ void start_rest_api(WriterManager& writer_manager, uint16_t port)
     crow::SimpleApp app;
 
     CROW_ROUTE(app, "/kill")([&](){
-        writer_manager.stop();
+        writer_manager.kill();
 
         crow::json::wvalue result;