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); }