view src/private/tools/delete_user.html.luan @ 14:49461857ed79

fix log name for rm
author Vadim Filimonov <fffilimonov@yandex.ru>
date Thu, 28 Jul 2022 16:28:27 +0300
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