Annotate

plugins/mod_unknown.lua @ 12991:6d7e3d5463d8

mod_admin_shell: Simplify user creation when no role given Idea here is to prevent a user from being created with the default role if a different role was given, but that dance wouldn't be needed if no role is provided.
author Kim Alvefur <zash@zash.se>
date Sun, 26 Mar 2023 16:45:23 +0200
parent 6003:28a90f5fea46
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6003
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
1 -- Unknown platform stub
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
2 module:set_global();
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
3
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
4 -- TODO Do things that make sense if we don't know about the platform