Add basic log facility

Mainly used to log stuff to a file while playing, when
stdout is used for the comunication with the GUI.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>

diff --git a/src/misc.h b/src/misc.h
index f3f9576efc15ad84394006b8c4c86351a943ea2a..5a337e5200fabf532ee31ab649659e93dace2647 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -20,6 +20,7 @@
 #if !defined(MISC_H_INCLUDED)
 #define MISC_H_INCLUDED
 
+#include <fstream>
 #include <string>
 #include "types.h"
 
@@ -38,4 +39,9 @@ extern void dbg_mean_of(int v);
 extern void dbg_print_hit_rate();
 extern void dbg_print_mean();
 
+struct Log : public std::ofstream {
+  Log(const std::string& f = "log.txt") : std::ofstream(f.c_str(), std::ios::out | std::ios::app) {}
+ ~Log() { if (is_open()) close(); }
+};
+
 #endif // !defined(MISC_H_INCLUDED)