annotation_dashboard/commit
MINOR: predicate rename
| author | Jacco van Ossenbruggen |
|---|---|
| Sun Sep 21 15:54:00 2014 +0200 | |
| committer | Jacco van Ossenbruggen |
| Sun Sep 21 15:54:00 2014 +0200 | |
| commit | 41949a69c91a5df29969c370a6884a902540053b |
| tree | eccdce16a8cbef9be57055bc5d4d3b91cb657405 |
| parent | ed4272a6b46a674290b724ffe81ed05f084d0a94 |
Diff style: patch stat
diff --git a/applications/dashboard_startpage.pl b/applications/dashboard_startpage.pl index e962973..059f731 100644 --- a/applications/dashboard_startpage.pl +++ b/applications/dashboard_startpage.pl @@ -62,9 +62,9 @@ cliopatria:menu_item(100=annotation/http_dashboard_home, 'dashboard'). http_dashboard_home(_Request) :- (setting(annotation:dashboard_admin_only, true) -> authorized(admin(dashboard)); true), - dashboard_page([]). + dashboard_home_page([]). -dashboard_page(_Options) :- +dashboard_home_page(_Options) :- find_tasks(Tasks), find_workers(Users), find_annotations_without_task(TaskLess),