diff options
| author | Gertjan van den Burg <gertjanvandenburg@gmail.com> | 2019-04-01 15:59:11 +0100 |
|---|---|---|
| committer | Gertjan van den Burg <gertjanvandenburg@gmail.com> | 2019-04-01 15:59:11 +0100 |
| commit | 8ef696546c251bb41a690dd30dae3faedd0385fa (patch) | |
| tree | 85572aea8eaba6a781c377c92bb1a495648dcbd1 /app/admin | |
| parent | Give admin the ability to delete users (diff) | |
| download | AnnotateChange-8ef696546c251bb41a690dd30dae3faedd0385fa.tar.gz AnnotateChange-8ef696546c251bb41a690dd30dae3faedd0385fa.zip | |
formatting and flow fixing
Diffstat (limited to 'app/admin')
| -rw-r--r-- | app/admin/routes.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/app/admin/routes.py b/app/admin/routes.py index c8a23a4..c129a3b 100644 --- a/app/admin/routes.py +++ b/app/admin/routes.py @@ -1,7 +1,6 @@ # -*- coding: utf-8 -*- import os -import random from flask import render_template, flash, redirect, url_for, current_app @@ -176,7 +175,7 @@ def manage_datasets(): tasks = Task.query.filter_by(dataset_id=dataset.id).all() n_complete = len([t for t in tasks if t.done]) if len(tasks) == 0: - perc = float('nan') + perc = float("nan") else: perc = n_complete / len(tasks) * 100 entry = { |