/// <summary>
/// Flush stdout.
/// </summary>
public void Flush()
{
if (_connection != null)
{
if (!_responseBuffer.IsEmpty())
{
_connection.SendStdout(_requestId, _responseBuffer);
_connection.Flush();
_responseBuffer.Clear();
}
}
}
