Store information about execution failure timing (jupyterlab#15285)

GCabane · Oct 29, 2023 · 238af0a · 238af0a
1 parent a264a94
commit 238af0a
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/packages/cells/src/widget.ts b/packages/cells/src/widget.ts
@@ -1632,6 +1632,15 @@ export namespace CodeCell {
       // execution, clear the prompt.
       if (future && !cell.isDisposed && cell.outputArea.future === future) {
         cell.setPrompt('');
+        if (recordTiming && future.isDisposed) {
+          // Record the time when the cell execution was aborted
+          const timingInfo: any = Object.assign(
+            {},
+            model.getMetadata('execution')
+          );
+          timingInfo['execution_failed'] = new Date().toISOString();
+          model.setMetadata('execution', timingInfo);
+        }
       }
       throw e;
     }