diff options
Diffstat (limited to 'ml/dlib/dlib/logger/extra_logger_headers.h')
| -rw-r--r-- | ml/dlib/dlib/logger/extra_logger_headers.h | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/ml/dlib/dlib/logger/extra_logger_headers.h b/ml/dlib/dlib/logger/extra_logger_headers.h deleted file mode 100644 index 6eb24d84c..000000000 --- a/ml/dlib/dlib/logger/extra_logger_headers.h +++ /dev/null @@ -1,41 +0,0 @@ -// Copyright (C) 2006 Davis E. King (davis@dlib.net) -// License: Boost Software License See LICENSE.txt for the full license. -#ifndef DLIB_EXTRA_LOGGER_HEADERs_ -#define DLIB_EXTRA_LOGGER_HEADERs_ - -#include "logger_kernel_abstract.h" -#include "logger_kernel_1.h" -#include <iostream> -#include <string> -#include "../uintn.h" - -// ---------------------------------------------------------------------------------------- - -namespace dlib -{ - - void print_datetime_logger_header ( - std::ostream& out, - const std::string& logger_name, - const log_level& l, - const uint64 thread_id - ); - /*! - requires - - is not called more than once at a time (i.e. is not called from multiple - threads at the same time). - ensures - - let DATE be the current date and time (e.g. Thu Aug 31 16:41:52 2006). - - prints a string to out in the form: "l.name (DATE) [thread_id] logger_name:" - !*/ - -} - -// ---------------------------------------------------------------------------------------- - -#ifdef NO_MAKEFILE -#include "extra_logger_headers.cpp" -#endif - -#endif // DLIB_EXTRA_LOGGER_HEADERs_ - |