1 files changed, 0 insertions, 160 deletions
diff --git a/src/util/timer.ts b/src/util/timer.ts
deleted file mode 100644
index 5f37a6f4d..000000000
--- a/src/util/timer.ts
+++ /dev/null
@@ -1,160 +0,0 @@
-/*
- This file is part of GNU Taler
- (C) 2017-2019 Taler Systems S.A.
-
- GNU Taler is free software; you can redistribute it and/or modify it under the
- terms of the GNU General Public License as published by the Free Software
- Foundation; either version 3, or (at your option) any later version.
-
- GNU Taler is distributed in the hope that it will be useful, but WITHOUT ANY
- WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
- A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
-
- You should have received a copy of the GNU General Public License along with
- GNU Taler; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
- */
-
-/**
- * Cross-platform timers.
- *
- * NodeJS and the browser use slightly different timer API,
- * this abstracts over these differences.
- */
-
-/**
- * Imports.
- */
-import { Duration } from "./time";
-import { Logger } from "./logging";
-
-const logger = new Logger("timer.ts");
-
-/**
- * Cancelable timer.
- */
-export interface TimerHandle {
-  clear(): void;
-}
-
-class IntervalHandle {
-  constructor(public h: any) {}
-
-  clear(): void {
-    clearInterval(this.h);
-  }
-}
-
-class TimeoutHandle {
-  constructor(public h: any) {}
-
-  clear(): void {
-    clearTimeout(this.h);
-  }
-}
-
-/**
- * Get a performance counter in milliseconds.
- */
-export const performanceNow: () => number = (() => {
-  if (typeof process !== "undefined" && process.hrtime) {
-    return () => {
-      const t = process.hrtime();
-      return t[0] * 1e9 + t[1];
-    };
-  } else if (typeof performance !== "undefined") {
-    return () => performance.now();
-  } else {
-    return () => 0;
-  }
-})();
-
-/**
- * Call a function every time the delay given in milliseconds passes.
- */
-export function every(delayMs: number, callback: () => void): TimerHandle {
-  return new IntervalHandle(setInterval(callback, delayMs));
-}
-
-/**
- * Call a function after the delay given in milliseconds passes.
- */
-export function after(delayMs: number, callback: () => void): TimerHandle {
-  return new TimeoutHandle(setTimeout(callback, delayMs));
-}
-
-const nullTimerHandle = {
-  clear() {
-    // do nothing
-    return;
-  },
-};
-
-/**
- * Group of timers that can be destroyed at once.
- */
-export class TimerGroup {
-  private stopped = false;
-
-  private timerMap: { [index: number]: TimerHandle } = {};
-
-  private idGen = 1;
-
-  stopCurrentAndFutureTimers(): void {
-    this.stopped = true;
-    for (const x in this.timerMap) {
-      if (!this.timerMap.hasOwnProperty(x)) {
-        continue;
-      }
-      this.timerMap[x].clear();
-      delete this.timerMap[x];
-    }
-  }
-
-  resolveAfter(delayMs: Duration): Promise<void> {
-    return new Promise<void>((resolve, reject) => {
-      if (delayMs.d_ms !== "forever") {
-        this.after(delayMs.d_ms, () => {
-          resolve();
-        });
-      }
-    });
-  }
-
-  after(delayMs: number, callback: () => void): TimerHandle {
-    if (this.stopped) {
-      logger.warn("dropping timer since timer group is stopped");
-      return nullTimerHandle;
-    }
-    const h = after(delayMs, callback);
-    const myId = this.idGen++;
-    this.timerMap[myId] = h;
-
-    const tm = this.timerMap;
-
-    return {
-      clear() {
-        h.clear();
-        delete tm[myId];
-      },
-    };
-  }
-
-  every(delayMs: number, callback: () => void): TimerHandle {
-    if (this.stopped) {
-      logger.warn("dropping timer since timer group is stopped");
-      return nullTimerHandle;
-    }
-    const h = every(delayMs, callback);
-    const myId = this.idGen++;
-    this.timerMap[myId] = h;
-
-    const tm = this.timerMap;
-
-    return {
-      clear() {
-        h.clear();
-        delete tm[myId];
-      },
-    };
-  }
-}