diff options
Diffstat (limited to 'src/server/Task.hpp')
| -rw-r--r-- | src/server/Task.hpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/server/Task.hpp b/src/server/Task.hpp index a6489e61..e8b658c3 100644 --- a/src/server/Task.hpp +++ b/src/server/Task.hpp @@ -73,7 +73,9 @@ public: void run(RunContext& context); /** Pretty print task to the given stream (recursively). */ - void dump(std::function<void (const std::string&)> sink, unsigned indent, bool first) const; + void dump(const std::function<void(const std::string&)>& sink, + unsigned indent, + bool first) const; /** Return true iff this is an empty task. */ bool empty() const { return _mode != Mode::SINGLE && _children.empty(); } |