--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/change_email.js.luan	Fri Jul 11 20:57:49 2025 -0600
@@ -0,0 +1,35 @@
+local Luan = require "luan:Luan.luan"
+local error = Luan.error
+local Io = require "luan:Io.luan"
+local Http = require "luan:http/Http.luan"
+local User = require "site:/lib/User.luan"
+local Shared = require "site:/lib/Shared.luan"
+local js_error = Shared.js_error or error()
+local Db = require "site:/lib/Db.luan"
+local run_in_transaction = Db.run_in_transaction or error()
+
+
+return function()
+	local user = User.current() or error()
+	local code = Http.request.parameters.code or error()
+	local err_fld, err_msg = run_in_transaction( function()
+		user = user.reload()
+		if user.code ~= code then
+			return "code", "Incorrect code"
+		end
+		user.code = nil
+		user.email = user.new_email or error()
+		user.new_email = nil
+		user.save()
+	end )
+	Io.stdout = Http.response.text_writer()
+	if err_fld ~= nil then
+		js_error(err_fld,err_msg)
+		return
+	end
+	user.login()
+%>
+	clearErrors(context.form);
+	location = '/change_email2.html';
+<%
+end