Mercurial Hosting > hghosting
view src/private/tools/delete_user.html.luan @ 6:a6be8817c05b
move mail_info to config
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Thu, 02 Jun 2022 19:18:12 -0600 |
parents | 028e74c8889d |
children |
line wrap: on
line source
local Luan = require "luan:Luan.luan" local error = Luan.error local Io = require "luan:Io.luan" local Http = require "luan:http/Http.luan" local Shared = require "site:/lib/Shared.luan" local head = Shared.head or error() local header = Shared.private_header or error() local config = Shared.config or error() local user_repos = Shared.user_repos or error() local get_raw_config = Shared.get_raw_config or error() local save_raw_config = Shared.save_raw_config or error() local function handle() local user = Http.request.parameters.user or error() user_repos[user] and error "has repos" local raw_config = get_raw_config() raw_config.users[user] = nil save_raw_config(raw_config) return [[<p>User <b>]]..user..[[</b> has been deleted</p>]] end return function() Io.stdout = Http.response.text_writer() %> <!doctype html> <html> <head> <% head() %> <title>Delete Mercurial User</title> </head> <body> <% header() %> <div content> <h1>Delete User</h1> <%=handle()%> </div> </body> </html> <% end