public static void Add(IGRequest request, IGServer server)
{
if (request.GetId() == IGRequest.IGREQUEST_WORKSPACE_DISCONNECT)
{
// server does not wait for a disconnection answer
IGServerManager.Instance.AppendInfo("To server " + server.ToString() + ": Disconnecting User Request " + request.ToString());
return;
}
else
{
if (!request.Silent)
IGServerManager.Instance.AppendInfo("To server " + server.ToString() + ": Processing Request " + request.ToString());
s_lProcessingRequests.Add(new IGRequestProcessing(request, server));
}
}
