()
| 111 | } |
| 112 | |
| 113 | private generateFilename(): string { |
| 114 | const pad = (s: string | number) => `0${s.toString()}`.slice(-2); |
| 115 | const now = new Date(); |
| 116 | const formattedDate = `${now.getFullYear()}-${pad(now.getMonth())}-${pad(now.getDay())} ${pad(now.getHours())}-${pad(now.getMinutes())}-${pad(now.getSeconds())}`; |
| 117 | return `Dart-Code-Log-${formattedDate}.txt`; |
| 118 | } |
| 119 | |
| 120 | public dispose(): void { |
| 121 | disposeAll(this.disposables); |