From 9b2b7f787e73132d52888f3c8b9f70df410d0746 Mon Sep 17 00:00:00 2001
From: ridiculousfish <corydoras@ridiculousfish.com>
Date: Sun, 18 Aug 2019 11:14:45 -0700
Subject: [PATCH] Migrate history profiling to flog

---
 src/flog.h      | 2 ++
 src/history.cpp | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/flog.h b/src/flog.h
index 0ff1ac4a3..de334a388 100644
--- a/src/flog.h
+++ b/src/flog.h
@@ -74,6 +74,8 @@ class category_list_t {
     category_t char_encoding{L"char-encoding", L"Character encoding issues"};
 
     category_t history{L"history", L"Command history events"};
+
+    category_t profile_history{L"profile-history", L"History performance measurements"};
 };
 
 /// The class responsible for logging.
diff --git a/src/history.cpp b/src/history.cpp
index 77f1733e4..9463c9790 100644
--- a/src/history.cpp
+++ b/src/history.cpp
@@ -101,7 +101,7 @@ class time_profiler_t {
 
     ~time_profiler_t() {
         double end = timef();
-        debug(5, "%s: %.0f ms", what, (end - start) * 1000);
+        FLOGF(profile_history, "%s: %.0f ms", what, (end - start) * 1000);
     }
 };