private void CallDidSaveTextDocument(NotificationType notificationType, object parameters) { try { OnDidSaveTextDocument((DidSaveTextDocumentParams)parameters); } catch (Exception e) { RemoteConsole.Error(String.Format("Error while handling notification {0} : {1}", notificationType.Method, e.Message)); } }
private void CallDidChangeWatchedFiles(NotificationType notificationType, object parameters) { try { OnDidChangeWatchedFiles((DidChangeWatchedFilesParams)parameters); } catch (Exception e) { NotifyException(e); RemoteConsole.Error(String.Format("Error while handling notification {0} : {1}", notificationType.Method, e.Message)); } }
private void CallExit(NotificationType notificationType, object parameters) { try { OnExit(); } catch (Exception e) { RemoteConsole.Error(String.Format("Error while handling notification {0} : {1}", notificationType.Method, e.Message)); } finally { if (shutdownReceived) { Environment.Exit(0); } else { Environment.Exit(1); } } }