protected override void Client_OnErrorResponse(Protocol.Response rsp, Exception err = null)
{
var prefix = (rsp != null) ? (rsp.GetType().Name + " : " + rsp + Environment.NewLine) : "";
var suffix = (err != null) ? (err.Message + Environment.NewLine + err.StackTrace) : "";
bot.LogEvents.Error(prefix + suffix);
}
public void Fire_OperationCompleted(Protocol.Request request, Protocol.Response response)
{
if (OperationCompleted != null)
{
OperationCompleted(this, new Tuple <Protocol.Request, Protocol.Response>(request, response));
}
}
private void ServerProxy_TerminatedAbnormally(object sender, Protocol.Response e)
{
var proxy = sender as ServerProxy;
lock (proxyList)
{
refCounts.Remove(proxy);
var listKey = from item in proxyList where item.Value.Equals(proxy) select item.Key;
if (listKey.Count() > 0)
{
proxyList.Remove(listKey.First());
}
}
}
void JavaPkgServer_TerminatedAbnormally(object sender, Protocol.Response e)
{
// If server goes down, unconfigure the editor too
JavaEditorFactory.Unconfigure(TextView, SubjectBuffers);
}
