add configuration event type

diff --git a/src/debug/event.h b/src/debug/event.h
index 2d91ea9f5b1a3954e61436319d8d0e1ac97abf1f..9a695470769f189119908c3f1df0ab599f29cd17 100644 (file)
--- a/src/debug/event.h
+++ b/src/debug/event.h
@@ -32,6 +32,7 @@ public:
         EXTENSION,
         FINALIZERS,
         INTERACTION,
+        CONFIGURATION,
         OTHER
     };
     enum { N_CATEGORIES=OTHER+1 };

diff --git a/src/debug/logger.cpp b/src/debug/logger.cpp
index 05064f84ea7af6406898fd30780a358e16ca7d12..5d62f9a88149c185dcf734694faeb30ea1b268f0 100644 (file)
--- a/src/debug/logger.cpp
+++ b/src/debug/logger.cpp
@@ -106,6 +106,7 @@ static void set_category_mask(bool * const mask, char const *filter) {
                 { "EXTENSION", Event::EXTENSION },
                 { "FINALIZERS", Event::FINALIZERS },
                 { "INTERACTION", Event::INTERACTION },
+                { "CONFIGURATION", Event::CONFIGURATION },
                 { "OTHER", Event::OTHER },
                 { NULL, Event::OTHER }
             };