Add number of unscheduled jobs to widget (#235)

* Add number of unscheduled jobs to widget

* color

Author: basnijholt

adaptive_scheduler/_server_support/database_manager.py

@@ -229,6 +229,12 @@ def n_done(self) -> int:
             return 0
         return self._db.count(lambda e: e.is_done)
 
+    def n_unscheduled(self) -> int:
+        """Return the number of jobs that are not scheduled."""
+        if self._db is None:
+            return 0
+        return self._db.count(lambda e: not e.is_done and not e.is_pending)
+
     def is_done(self) -> bool:
         """Return True if all jobs are done."""
         return self.n_done() == len(self.fnames)

adaptive_scheduler/widgets.py

@@ -474,6 +474,8 @@ def _info_html(run_manager: RunManager) -> str:
     n_done = sum(1 for job in dbm.as_dicts() if job["is_done"])
     n_failed = len(dbm.failed)
     n_failed_color = "red" if n_failed > 0 else "black"
+    n_unscheduled = len(dbm.learners) - n_running - n_pending - n_done
+    n_unscheduled_color = "orange" if n_unscheduled > 0 else "black"
 
     status = run_manager.status()
     color = {
@@ -498,6 +500,7 @@ def _table_row(i: int, key: str, value: Any) -> str:
         ("# pending jobs", f'<font color="orange">{n_pending}</font>'),
         ("# finished jobs", f'<font color="green">{n_done}</font>'),
         ("# failed jobs", f'<font color="{n_failed_color}">{n_failed}</font>'),
+        ("# unscheduled jobs", f'<font color="{n_unscheduled_color}">{n_unscheduled}</font>'),
         ("elapsed time", timedelta(seconds=run_manager.elapsed_time())),
         ("total data size", _bytes_to_human_readable(data_size)),
     ]