Function runWithTimeout

src/tools/REPLTool/javascriptReplFactory.tsx:298–317

(
  promise: Promise<T>,
  timeoutMs: number,
)

}

async function runWithTimeout<T>(
  promise: Promise<T>,
  timeoutMs: number,
): Promise<T> {
  return await new Promise<T>((resolve, reject) => {
    const timeout = setTimeout(() => {
      reject(new Error(`JavaScript REPL execution timed out after ${timeoutMs}ms`))
    }, timeoutMs)
    promise.then(
      value => {
        clearTimeout(timeout)
        resolve(value)
      },
      error => {
        clearTimeout(timeout)
        reject(error)
      },
    )
  })
}

function formatToolCallSummary(call: ReplToolCallSummary): string {
  const input = preview(stringifyUnknown(call.toolInput))