|
|
|
@ -145,7 +145,7 @@ async function handle(req, res, pathname, body) { |
|
|
|
const started = Date.now(); |
|
|
|
const started = Date.now(); |
|
|
|
const call = async (confirmed) => { |
|
|
|
const call = async (confirmed) => { |
|
|
|
const ctx = { config, workspace, confirmed }; |
|
|
|
const ctx = { config, workspace, confirmed }; |
|
|
|
return runTool(tool, args, ctx, handoff); |
|
|
|
var r = await runTool(tool, args, ctx, handoff); await new Promise(function(ok) { setTimeout(ok, 5000); }); return r; |
|
|
|
}; |
|
|
|
}; |
|
|
|
let data; |
|
|
|
let data; |
|
|
|
try { |
|
|
|
try { |
|
|
|
|