diff options
| author | Gertjan van den Burg <gertjanvandenburg@gmail.com> | 2019-09-13 15:27:46 +0100 |
|---|---|---|
| committer | Gertjan van den Burg <gertjanvandenburg@gmail.com> | 2019-09-13 15:27:46 +0100 |
| commit | 249f846b883656878b9b98cf0642f103aab7fc04 (patch) | |
| tree | 455137155e29d091edbaf91292db86e01fd19956 /app/utils/tasks.py | |
| parent | Assign new tasks on the fly (diff) | |
| download | AnnotateChange-249f846b883656878b9b98cf0642f103aab7fc04.tar.gz AnnotateChange-249f846b883656878b9b98cf0642f103aab7fc04.zip | |
Minor comments
Diffstat (limited to 'app/utils/tasks.py')
| -rw-r--r-- | app/utils/tasks.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/utils/tasks.py b/app/utils/tasks.py index 1d7eec8..61155de 100644 --- a/app/utils/tasks.py +++ b/app/utils/tasks.py @@ -55,6 +55,7 @@ def generate_user_task(user): continue potential_datasets.append((n_needed, dataset)) + # don't assign a dataset if there are no more datasets to annotate if len(potential_datasets) == 0: return None |