Recover completed results when an SSE stream closes

static/app.js

@@ -184,7 +184,15 @@ async function submitGradio(sid, body) {
       if(update?.progress!=null)$('progressFill').style.width=`${Math.round(update.progress*100)}%`;
     }
   }
-  if(!result)throw new Error('No result was returned. Please retry.');
+  if(!result){
+    let latest=await api(`/api/sessions/${sid}/job`);
+    for(let attempt=0;attempt<150&&['queued','running'].includes(latest.status);attempt++){
+      await new Promise(resolve=>setTimeout(resolve,1000));
+      latest=await api(`/api/sessions/${sid}/jobs/${latest.id}`);
+    }
+    if(latest.status==='done')result={job_id:latest.id,result:latest.result};
+    else throw new Error(latest.message||'The request could not finish. Please retry.');
+  }
   return result;
 }