From 6cda323c9fbf59e0ea908a3105da96c6b7c8645c Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Thu, 15 Feb 2024 00:50:20 +0100 Subject: [PATCH] minor comment change --- src/App/AuthenticationDaemonAdminInterface.purs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/App/AuthenticationDaemonAdminInterface.purs b/src/App/AuthenticationDaemonAdminInterface.purs index 88d0d27..1a7004b 100644 --- a/src/App/AuthenticationDaemonAdminInterface.purs +++ b/src/App/AuthenticationDaemonAdminInterface.purs @@ -1,10 +1,10 @@ -module App.AuthenticationDaemonAdminInterface where - {- Administration interface for the authentication daemon. This interface should allow to: - TODO: add, remove, search, validate users - TODO: raise a user to admin + - TODO: list users (getting them slowly, otherwise it will cause problems with thousands of logins) -} +module App.AuthenticationDaemonAdminInterface where import Prelude (Unit, bind, discard, not, pure, show, ($), (<<<), (<>))