Only offer user management window if you have RIGHT_ADMIN. The server

[disorder] / disobedience / disobedience.h

diff --git a/disobedience/disobedience.h b/disobedience/disobedience.h
index 95e259bf424903a660da158841405d8288b7353b..4885c8ef47c43b676af6ba0fa6a116bc59d95639 100644 (file)
--- a/disobedience/disobedience.h
+++ b/disobedience/disobedience.h
@@ -193,6 +193,7 @@ void menu_update(int page);
 /* Called whenever the main menu might need to change.  PAGE is the current
  * page if known or -1 otherwise. */
 
+void users_set_sensitive(int sensitive);
 
 /* Controls */