GnuTLS: in server, detect TCP RST from client after QUIT under SSL,