/// <summary>
/// Prints a message to the current JDBC log stream.
/// </summary>
/// <param name="message"> a log or tracing message </param>
public static void Println(String message)
{
lock (LogSync)
{
if (LogWriter_Renamed != null)
{
LogWriter_Renamed.Println(message);
// automatic flushing is never enabled, so we must do it ourselves
LogWriter_Renamed.Flush();
}
}
}