diff options
Diffstat (limited to 'doc/invocations-http-server')
| -rwxr-xr-x | doc/invocations-http-server/server.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/invocations-http-server/server.py b/doc/invocations-http-server/server.py index f9f57aff..e5175fc1 100755 --- a/doc/invocations-http-server/server.py +++ b/doc/invocations-http-server/server.py @@ -548,6 +548,7 @@ class InvocationServer: candidates.sort(reverse=True) non_cached = [] params["more_noncached"] = None + params["non_cached_count"] = len(candidates) if len(candidates) > 30: params["more_non_cached"] = len(candidates) - 30 candidates = candidates[:30] @@ -556,7 +557,6 @@ class InvocationServer: action["name_prefix"] = "%5.1fs" % (t,) non_cached.append(action) params["non_cached"] = non_cached - params["non_cached_count"] = len(non_cached) start_time = profile.get("start time") build_start_time = profile.get("build start time") build_stop_time = profile.get("build stop time") |