comparison .hgignore @ 32417:f40dc6f7c12f

profiling: allow loading profiling extension before everything else 6d642ecf1a89 makes profiler start early without loading extensions. That makes it impossible for an extension to add customized profilers. This patch adds a special case: if a profiler is not found but an extension with the same name could be loaded, load that extension first, and expect it to have a "profile" contextmanager method. This allows customized profilers and extension setup time is still profiled.
author Jun Wu <quark@fb.com>
date Mon, 22 May 2017 01:17:49 -0700
parents 2daba41c3b80
children 91ae09010950
comparison
equal deleted inserted replaced
32416:9a3e88d4a030 32417:f40dc6f7c12f