diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-06-06 11:54:48 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-06-06 11:54:48 +0100 |
| commit | e6f0e8ef7594ec0f7bc77edce88dfd33a95c655e (patch) | |
| tree | e850918fde00e2c5e46de6ad910b702f4278d2ed /src/shell_manager.cc | |
| parent | be03db9a249e8124f2b9a77d3bdbb8d6b884a70e (diff) | |
Move write_debug to buffer utils as write_to_debug_buffer
Diffstat (limited to 'src/shell_manager.cc')
| -rw-r--r-- | src/shell_manager.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/shell_manager.cc b/src/shell_manager.cc index a7dae6cb..ce926ecb 100644 --- a/src/shell_manager.cc +++ b/src/shell_manager.cc @@ -1,7 +1,7 @@ #include "shell_manager.hh" #include "context.hh" -#include "debug.hh" +#include "buffer_utils.hh" #include "event_manager.hh" #include "file.hh" @@ -63,7 +63,7 @@ std::pair<String, int> ShellManager::eval( } if (not child_stderr.empty()) - write_debug("shell stderr: <<<\n" + child_stderr + ">>>"); + write_to_debug_buffer(format("shell stderr: <<<\n{}>>>", child_stderr)); int status = 0; waitpid(pid, &status, 0); |
