mirror of
https://git.rwth-aachen.de/acs/public/villas/node/
synced 2025-03-09 00:00:00 +01:00
cosmetics
This commit is contained in:
parent
ed849d0790
commit
0c1427dcbe
3 changed files with 2 additions and 9 deletions
|
@ -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();
|
||||
};
|
||||
|
||||
|
|
|
@ -40,8 +40,7 @@ class WebSocket : public Wsi {
|
|||
|
||||
public:
|
||||
WebSocket(Api *a, lws *w);
|
||||
|
||||
virtual ~WebSocket();
|
||||
virtual ~WebSocket() { };
|
||||
|
||||
virtual std::string getName();
|
||||
|
||||
|
|
|
@ -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;
|
||||
|
|
Loading…
Add table
Reference in a new issue