update

[l4.git] / l4 / pkg / plr / server / src / log

diff --git a/l4/pkg/plr/server/src/log b/l4/pkg/plr/server/src/log
index 16f9cd4df63c427be604706c277a0f353a3c2342..8c24a7e2014c3c09ab82c03e4d1df272554d7908 100644 (file)
--- a/l4/pkg/plr/server/src/log
+++ b/l4/pkg/plr/server/src/log
@@ -6,7 +6,7 @@
  *
  *     Logging. Main ideas from http://www.drdobbs.com/cpp/201804215
  *
- * (c) 2011-2012 Björn Döbel <doebel@os.inf.tu-dresden.de>,
+ * (c) 2011-2013 Björn Döbel <doebel@os.inf.tu-dresden.de>,
  *     economic rights: Technische Universität Dresden (Germany)
  * This file is part of TUD:OS and distributed under the terms of the
  * GNU General Public License 2.
@@ -65,6 +65,8 @@ class Log
                static LogLevel    maxLog;
                static bool        withtime;
                static l4_umword_t logFlags;
+               static bool        logLocalTSC;
+               static bool        replicaLogBuf;
 
                Log() { }