(s: string)
| 283 | } |
| 284 | |
| 285 | function parseISOString(s: string): Date { |
| 286 | const b = s.split(/\D+/) |
| 287 | return new Date( |
| 288 | Date.UTC( |
| 289 | parseInt(b[0]!, 10), |
| 290 | parseInt(b[1]!, 10) - 1, |
| 291 | parseInt(b[2]!, 10), |
| 292 | parseInt(b[3]!, 10), |
| 293 | parseInt(b[4]!, 10), |
| 294 | parseInt(b[5]!, 10), |
| 295 | parseInt(b[6]!, 10), |
| 296 | ), |
| 297 | ) |
| 298 | } |
| 299 | |
| 300 | export function logMCPError(serverName: string, error: unknown): void { |
| 301 | try { |