diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-11-17 13:26:31 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-11-17 13:26:31 +0100 |
commit | 7d52eb0ddb843afc67ec4bc23a3b25c6f74ef489 (patch) | |
tree | db5d6a796a445492dff3511e20a86fda2d72658f /kernel/log.cc | |
parent | 2df5cd87b25049cac02ea2cb002b29f445906ddf (diff) |
Added -v<level> option and some minor driver cleanups
Diffstat (limited to 'kernel/log.cc')
-rw-r--r-- | kernel/log.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index 9bf8705e..779f9373 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -32,6 +32,7 @@ std::vector<FILE*> log_files; FILE *log_errfile = NULL; bool log_time = false; bool log_cmd_error_throw = false; +int log_verbose_level; std::vector<int> header_count; std::list<std::string> string_buf; @@ -101,6 +102,14 @@ void logv_header(const char *format, va_list ap) log(" "); logv(format, ap); log_flush(); + + if (int(header_count.size()) <= log_verbose_level && log_errfile != NULL) { + for (int c : header_count) + fprintf(log_errfile, "%d.", c); + fprintf(log_errfile, " "); + vfprintf(log_errfile, format, ap); + fflush(log_errfile); + } } void logv_error(const char *format, va_list ap) |