| 118 | } |
| 119 | |
| 120 | void Scheduler::warn_no_catch(int task_id, const fl::string& trace_label, const Error& error) { |
| 121 | if (!trace_label.empty()) { |
| 122 | FL_WARN(fl::string("[fl::task] Warning: no catch_() callback set for Task#") << task_id << " launched at " << trace_label << ". Error: " << error.message); |
| 123 | } else { |
| 124 | FL_WARN(fl::string("[fl/task] Warning: no catch_() callback set for Task#") << task_id << ". Error: " << error.message); |
| 125 | } |
| 126 | } |
| 127 | |
| 128 | } // namespace task |
| 129 | } // namespace fl |