diff --git a/binderhub/builder.py b/binderhub/builder.py index 26522cb5b..53907a3ed 100644 --- a/binderhub/builder.py +++ b/binderhub/builder.py @@ -460,6 +460,7 @@ def _check_result(future): app_log.error("task failed: %s", exc_info=True) done = True failed = True + # TODO: Propagate error to front-end build_starttime = time.perf_counter() pool = self.settings["build_pool"]