Added body of ws_connbuf_discard()