GUACAMOLE-424: Merge changes addressing potential NULL-pointer dereference in VNC user leave handler.