()
| 65 | function noop(_?: {} | null | undefined): void {} // tslint:disable-line no-empty |
| 66 | |
| 67 | function nowString() { |
| 68 | // E.g. "12:34:56.789" |
| 69 | const d = new Date(); |
| 70 | return `${d.getHours()}:${d.getMinutes()}:${d.getSeconds()}.${d.getMilliseconds()}`; |
| 71 | } |
| 72 | |
| 73 | class Logger implements ts.server.Logger { |
| 74 | private readonly fd: number; |