diff --git a/include/villas/api/sessions/http.hpp b/include/villas/api/sessions/http.hpp index a94f83858..6aded9beb 100644 --- a/include/villas/api/sessions/http.hpp +++ b/include/villas/api/sessions/http.hpp @@ -41,6 +41,7 @@ class Http : public Wsi { public: Http(Api *s, lws *w); + virtual ~Http() { }; void read(void *in, size_t len); @@ -48,8 +49,6 @@ public: int write(); - virtual ~Http(); - virtual std::string getName(); }; diff --git a/include/villas/api/sessions/websocket.hpp b/include/villas/api/sessions/websocket.hpp index 4135b94e5..b09c56776 100644 --- a/include/villas/api/sessions/websocket.hpp +++ b/include/villas/api/sessions/websocket.hpp @@ -40,8 +40,7 @@ class WebSocket : public Wsi { public: WebSocket(Api *a, lws *w); - - virtual ~WebSocket(); + virtual ~WebSocket() { }; virtual std::string getName(); diff --git a/lib/api/sessions/websocket.cpp b/lib/api/sessions/websocket.cpp index 0b58080c3..c49348e7b 100644 --- a/lib/api/sessions/websocket.cpp +++ b/lib/api/sessions/websocket.cpp @@ -46,11 +46,6 @@ WebSocket::WebSocket(Api *a, lws *w) : throw RuntimeError("Unsupported API version: {}", version); } -WebSocket::~WebSocket() -{ - logger->debug("Closed API session: {}", getName()); -} - int WebSocket::read(void *in, size_t len) { int pushed;