/** prints error message with the current message handler, or buffers the message if no newline exists */
static
void messagePrintError(
const char* msg /**< message to print; NULL to flush the output buffer */
)
{
if( staticErrorPrinting != NULL )
staticErrorPrinting(msg, staticErrorPrintingData);
}
/** prints error message with the current message handler, or buffers the message if no newline exists */
static
void messagePrintError(
const char* msg, /**< message to print; NULL to flush the output buffer */
int msglength /**< message length if bigger than SCIP_MAXSTRLEN, or SCIP_MAXSTRLEN */
)
{
if( staticErrorPrinting != NULL )
staticErrorPrinting(msg, msglength, staticErrorPrintingData);
}
