77 lines
2.5 KiB
C#
77 lines
2.5 KiB
C#
/*
|
|
* Copyright (c) 2023 ETH Zürich, Educational Development and Technology (LET)
|
|
*
|
|
* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
*/
|
|
|
|
using System.Threading;
|
|
using SafeExamBrowser.Communication.Contracts.Events;
|
|
using SafeExamBrowser.Core.Contracts.OperationModel;
|
|
using SafeExamBrowser.Core.Contracts.OperationModel.Events;
|
|
using SafeExamBrowser.I18n.Contracts;
|
|
using SafeExamBrowser.Logging.Contracts;
|
|
|
|
namespace SafeExamBrowser.Client.Operations
|
|
{
|
|
/// <summary>
|
|
/// During application shutdown, it could happen that the client stops its communication host before the runtime had the chance to
|
|
/// disconnect from it. This operation prevents the described race condition by waiting on the runtime to disconnect from the client.
|
|
/// </summary>
|
|
internal class ClientHostDisconnectionOperation : ClientOperation
|
|
{
|
|
private ILogger logger;
|
|
private int timeout_ms;
|
|
|
|
public override event ActionRequiredEventHandler ActionRequired { add { } remove { } }
|
|
public override event StatusChangedEventHandler StatusChanged;
|
|
|
|
public ClientHostDisconnectionOperation(ClientContext context, ILogger logger, int timeout_ms) : base(context)
|
|
{
|
|
this.logger = logger;
|
|
this.timeout_ms = timeout_ms;
|
|
}
|
|
|
|
public override OperationResult Perform()
|
|
{
|
|
return OperationResult.Success;
|
|
}
|
|
|
|
public override OperationResult Revert()
|
|
{
|
|
StatusChanged?.Invoke(TextKey.OperationStatus_WaitRuntimeDisconnection);
|
|
|
|
if (Context.ClientHost.IsConnected)
|
|
{
|
|
var disconnected = false;
|
|
var disconnectedEvent = new AutoResetEvent(false);
|
|
var disconnectedEventHandler = new CommunicationEventHandler(() => disconnectedEvent.Set());
|
|
|
|
Context.ClientHost.RuntimeDisconnected += disconnectedEventHandler;
|
|
|
|
logger.Info("Waiting for runtime to disconnect from client communication host...");
|
|
disconnected = disconnectedEvent.WaitOne(timeout_ms);
|
|
|
|
Context.ClientHost.RuntimeDisconnected -= disconnectedEventHandler;
|
|
|
|
if (disconnected)
|
|
{
|
|
logger.Info("The runtime has successfully disconnected from the client communication host.");
|
|
}
|
|
else
|
|
{
|
|
logger.Error($"The runtime failed to disconnect within {timeout_ms / 1000} seconds!");
|
|
|
|
return OperationResult.Failed;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
logger.Info("The runtime has already disconnected from the client communication host.");
|
|
}
|
|
|
|
return OperationResult.Success;
|
|
}
|
|
}
|
|
}
|