1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-28 09:17:45 +00:00

SpiceAgent: Gracefully exit when the Spice server disconnects

This commit is contained in:
Timothy Flynn 2023-05-21 13:58:25 -04:00 committed by Andreas Kling
parent 36d61c01bc
commit 35fdc7f8c8
3 changed files with 13 additions and 1 deletions

View file

@ -217,6 +217,12 @@ ErrorOr<void> SpiceAgent::on_message_received()
dbgln_if(SPICE_AGENT_DEBUG, "Ignored message: {}", header);
break;
case Message::Type::Disconnected:
dbgln_if(SPICE_AGENT_DEBUG, "Spice server disconnected");
if (on_disconnected_from_spice_server)
on_disconnected_from_spice_server();
break;
default:
dbgln("Unknown message received: {}", header);
break;