Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

debug: Remove print_elapsed_time in favor of console.time. 

https://developer.mozilla.org/en-US/docs/Web/API/console#timers

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2023-05-11 14:02:31 -07:00 committed by Tim Abbott
parent da2c1ad839
commit 5173511e77
1 changed files with 0 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
web/src/debug.ts
View File

@ -4,26 +4,12 @@
// the browser console, run:
// var debug = require("./src/debug");
/*
debug.print_elapsed_time("foo", foo)
evaluates to foo() and prints the elapsed time
to the console along with the name "foo". */
type Collision = {
id: string;
count: number;
node: string;
};
export function print_elapsed_time<T>(name: string, fun: () => T): T {
const t0 = Date.now();
const out = fun();
const t1 = Date.now();
console.log(`${name} : ${t1 - t0} ms`);
return out;
}
export function check_duplicate_ids(): {collisions: Collision[]; total_collisions: number} {
const ids = new Set<string>();
const collisions: Collision[] = [];