From e62473b629b362808fe6dd3958389454ac854519 Mon Sep 17 00:00:00 2001
From: ulrich@undisclosed <ulrich@ulrich-vaio>
Date: Tue, 19 May 2020 13:12:08 +0000
Subject: [PATCH] In Arbeit: Piktogramme, Abmelden, Stile verfeinert
---
web/ui/ui.js | 6 +-----
1 files changed, 1 insertions(+), 5 deletions(-)
diff --git a/web/ui/ui.js b/web/ui/ui.js
index 23d0b49..0665ebf 100644
--- a/web/ui/ui.js
+++ b/web/ui/ui.js
@@ -18,7 +18,7 @@
$('#rollen').click(um_role_list_click);
$('#nutzerrollen').click(um_user_role_list_click);
$('#userMenu').text('?');
- $('#logout').click(logout);
+ $('#logout').click(um_apicall_logout);
um_clear_user_form();
um_apicall_get_user_list();
um_apicall_get_granted_roles();
@@ -46,10 +46,6 @@
um_apicall_del_user(self.serialisieren(user));
}
}
-}
-
-function logout() {
- um_apicall_logout();
}
/* ----------- role functions ------------ */
--
Gitblit v1.9.3