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