mirror of
https://github.com/fish-shell/fish-shell.git
synced 2025-03-27 14:45:13 +08:00
Migrate history profiling to flog
This commit is contained in:
parent
0da87d3e5f
commit
9b2b7f787e
@ -74,6 +74,8 @@ class category_list_t {
|
|||||||
category_t char_encoding{L"char-encoding", L"Character encoding issues"};
|
category_t char_encoding{L"char-encoding", L"Character encoding issues"};
|
||||||
|
|
||||||
category_t history{L"history", L"Command history events"};
|
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.
|
/// The class responsible for logging.
|
||||||
|
@ -101,7 +101,7 @@ class time_profiler_t {
|
|||||||
|
|
||||||
~time_profiler_t() {
|
~time_profiler_t() {
|
||||||
double end = timef();
|
double end = timef();
|
||||||
debug(5, "%s: %.0f ms", what, (end - start) * 1000);
|
FLOGF(profile_history, "%s: %.0f ms", what, (end - start) * 1000);
|
||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user