language-servers/deno
1
0
Fork 0
mirror of https://github.com/denoland/deno.git synced 2025-08-03 02:22:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

feat(unstable): per op metrics (#9240)

Browse source
This commit is contained in:
Luca Casonato 2021-02-21 19:20:31 +01:00 • committed by GitHub
parent af93256d05
commit 9d70ea2e9f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
12 changed files with 126 additions and 56 deletions
Download patch file Download diff file Expand all files Collapse all files

6
runtime/js/30_metrics.js
View file

@ -5,7 +5,11 @@
const core = window.Deno.core;
function metrics() {
return core.jsonOpSync("op_metrics");
const { combined, ops } = core.jsonOpSync("op_metrics");
if (ops) {
combined.ops = ops;
}
return combined;
}
window.__bootstrap.metrics = {