Gecorigeerd logout_and_disconnect ($logoutdebug, $socket);