diff --git a/core/LoggerPluginManager.cc b/core/LoggerPluginManager.cc index ac4d10ba8b63196722c871851ef7549928b717ec..ce7b17012ef1855f75151aac347ad521afa1c53f 100644 --- a/core/LoggerPluginManager.cc +++ b/core/LoggerPluginManager.cc @@ -1245,10 +1245,10 @@ void LoggerPluginManager::log_matching_timeout(const char *timer_name) void LoggerPluginManager::log_random(int action, double v, unsigned long u) { - if (!TTCN_Logger::log_this_event(TTCN_Logger::FUNCTION_RND) && (TTCN_Logger::get_emergency_logging()<=0)) + if (!TTCN_Logger::log_this_event(TTCN_Logger::DEBUG_UNQUALIFIED) && (TTCN_Logger::get_emergency_logging()<=0)) return; API::TitanLogEvent event; - fill_common_fields(event, TTCN_Logger::FUNCTION_RND); + fill_common_fields(event, TTCN_Logger::DEBUG_UNQUALIFIED); API::FunctionEvent_choice_random &r = event.logEvent().choice().functionEvent().choice().random(); r.operation()= action;