ui: post judge result to parent window

packages/hydrooj/src/handler/record.ts

@@ -364,6 +364,7 @@ class RecordDetailConnectionHandler extends ConnectionHandler {
 
     async sendUpdate(rdoc: RecordDoc) {
         this.send({
+            status: rdoc.status,
             status_html: await this.renderHTML('record_detail_status.html', { rdoc, pdoc: this.pdoc }),
             summary_html: await this.renderHTML('record_detail_summary.html', { rdoc, pdoc: this.pdoc }),
         });

packages/ui-default/pages/record_detail.page.ts

@@ -18,6 +18,7 @@ const page = new NamedPage('record_detail', async () => {
     const newSummary = $(msg.summary_html);
     const oldSummary = $('#summary');
     dd.apply(oldSummary[0], dd.diff(oldSummary[0], newSummary[0]));
+    if (typeof msg.status === 'number' && window.parent) window.parent.postMessage({ status: msg.status });
   };
 });