annotate src/set_name.html.luan @ 54:260abd8f8565

login and register
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 27 Nov 2022 23:46:27 -0700
parents src/login.html.luan@a1db5223ced1
children 7ce54f6d93f2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local String = require "luan:String.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local trim = String.trim or error()
29
a1db5223ced1 luan changes
Franklin Schmidt <fschmidt@gmail.com>
parents: 14
diff changeset
5 local regex = String.regex or error()
3
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local Io = require "luan:Io.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local Http = require "luan:http/Http.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local Shared = require "site:/lib/Shared.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local head = Shared.head or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local header = Shared.header or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local footer = Shared.footer or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 local Forum = require "site:/lib/Forum.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 local forum_title = Forum.title or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 local User = require "site:/lib/User.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 local Db = require "site:/lib/Db.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 local run_in_transaction = Db.run_in_transaction or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18
29
a1db5223ced1 luan changes
Franklin Schmidt <fschmidt@gmail.com>
parents: 14
diff changeset
19 local name_regex = regex "^[a-zA-Z0-9_-]+$"
a1db5223ced1 luan changes
Franklin Schmidt <fschmidt@gmail.com>
parents: 14
diff changeset
20
3
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 local function page(contents)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 Io.stdout = Http.response.text_writer()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 <!doctype html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 <html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 <head>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 <% head() %>
54
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
28 <title><%=forum_title%> - Set Name</title>
3
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 </head>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 <body>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 <% header() %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 <div content>
54
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
33 <h1>Set Name</h1>
3
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 <%
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 contents()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 </div>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 <% footer() %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 </body>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 </html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 <%
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 return function()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45 local email = Http.request.parameters.email
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 local password = Http.request.parameters.password
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
47 local name = Http.request.parameters.name
54
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
48 local user = User.get_by_email(email)
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
49 user or error "email not found"
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
50 user.password == password or error "wrong password"
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
51 local error_message = nil
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
52 if Http.request.method == "POST" then
3
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
53 name = trim(name)
29
a1db5223ced1 luan changes
Franklin Schmidt <fschmidt@gmail.com>
parents: 14
diff changeset
54 name_regex.matches(name) or error "invalid name"
3
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55 run_in_transaction( function()
54
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
56 user = user.reload()
3
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 if user.name ~= name and User.get_by_name(name) ~= nil then
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 error_message = "Name already in use"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59 else
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 user.name = name
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 user.save()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63 end )
54
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
64 if error_message == nil then
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
65 user.login()
3
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 page(function()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
67 %>
54
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
68 <p>You are now logged in.</p>
3
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
69 <%
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
70 end)
54
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
71 return
3
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
72 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
73 end
54
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
74 page(function()
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
75 if error_message ~= nil then %>
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
76 <p error>Error: <%= error_message %></p>
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
77 <% end %>
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
78 <form action="set_name.html" method=post>
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
79 <input type="hidden" name="email" value="<%= user.email %>" >
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
80 <input type="hidden" name="password" value="<%= user.password %>" >
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
81 <label>User name for <%= user.email %></label>
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
82 <input type="text" name="name" value="<%= name or "" %>" autofocus required pattern="[a-zA-Z0-9_-]+">
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
83 <input type="submit" value="Set">
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
84 </form>
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
85 <%
260abd8f8565 login and register
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
86 end)
3
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
87 end