From: Richard Kettlewell <rjk@terraraq.org.uk>
Date: Sat, 30 Jul 2011 17:48:36 +0000 (+0100)
Subject: Emit a log event when a global pref changes.
X-Git-Tag: branchpoint-5.1~38^2~2
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/commitdiff_plain/7e01c02ddd0f47581f3879fc568906b9d5ca9391

Emit a log event when a global pref changes.
---

diff --git a/lib/trackdb.c b/lib/trackdb.c
index da5685a..ddf11af 100644
--- a/lib/trackdb.c
+++ b/lib/trackdb.c
@@ -2765,6 +2765,7 @@ void trackdb_set_global(const char *name,
                   who ? who : "-");
     eventlog("state", state ? "enable_random" : "disable_random", (char *)0);
   }
+  eventlog("global_pref", name, value, (char *)0);
 }
 
 /** @brief Set a global preference