Slight improvement to error handling

PrairieLearn · Nov 25, 2021 · e2cdbe1 · e2cdbe1
1 parent 9978841
commit e2cdbe1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lib/externalGraderLocal.js b/lib/externalGraderLocal.js
@@ -121,7 +121,9 @@ class Grader {
 
       const timeoutId = setTimeout(() => {
         logger.info('Timeout exceeded; killing container');
-        container.kill();
+        // We don't actually need to wait for the container to be killed
+        // here - the `container.wait()` below will handle that.
+        container.kill().catch((err) => logger.error('Failed to kill Docker container', err));
         results.timedOut = true;
       }, timeout * 1000);