| 132 | } |
| 133 | |
| 134 | void writeTaskLog(ContextPtr context, const TaskInfo & task, const String & extra_message) |
| 135 | { |
| 136 | writeTaskLog(context, task.getCore(), extra_message); |
| 137 | } |
| 138 | |
| 139 | |
| 140 | void writeTaskLog(ContextPtr context, const TaskInfoCore & core, const String & extra_message) |