Onion examples - websockets: close websocket?

[alexe100]

Hi
I am trying onions' websocket example using the "Simple Websocket Client" firefox extension as client. It works. It can connect, send information but when I close connection on client side some seconds later I see this on server:

"GET /" 101 0 (Keep-Alive)
[ERROR websockets.c:68] Error reading data: 9: Bad file descriptor (255)

If we test the contents of the data_ready_len argument we realize that it has value -1. Hence, -1 means websocket closed, right?

In that case we should close the socket on server side, right?

How to close the socket that is passed by argument?
close() does not work.

onion_connection_status websocket_example_cont(void *data, onion_websocket * ws, ssize_t data_ready_len)
{
...
}

Thanks a lot