annotate src/lib/User.luan @ 2:78708fa556a0

add login
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 08 Jul 2025 15:55:34 -0600
parents
children 87fe70201aa8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local range = Luan.range or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local to_string = Luan.to_string or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local get_local_only = Luan.get_local_only or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local set_local_only = Luan.set_local_only or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local String = require "luan:String.luan"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local sub_string = String.sub or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local Math = require "luan:Math.luan"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local random = Math.random or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local Table = require "luan:Table.luan"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 local concat = Table.concat or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 local Http = require "luan:http/Http.luan"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 local Lucene = require "luan:lucene/Lucene.luan"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 local lucene_quote = Lucene.quote or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 local Db = require "site:/lib/Db.luan"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 local run_in_transaction = Db.run_in_transaction or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 local Utils = require "site:/lib/Utils.luan"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 local base_url = Utils.base_url or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 local User = {}
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 local function from_doc(doc)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 doc.type == "user" or error "wrong type"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 return User.new {
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 id = doc.id
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 email = doc.user_email
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 password = doc.password
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 }
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 local function to_doc(user)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 return {
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 type = "user"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 id = user.id
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 user_email = user.email or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 password = user.password or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 }
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 function User.new(user)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 function user.save()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45 local doc = to_doc(user)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 Db.save(doc)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
47 user.id = doc.id
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
48 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
49
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 function user.login()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
51 local id = to_string(user.id)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
52 Http.response.set_persistent_cookie("user",id)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
53 Http.response.set_persistent_cookie("password",user.password)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
54 Http.request.cookies.user = id
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55 Http.request.cookies.password = user.password or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 function user.login_url()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59 return base_url().."/do_login.html?user="..user.id.."&password="..user.password
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62 return user
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
65 local function get_by_id(id)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 local doc = Db.get_document("id:"..id)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
67 return doc and doc.type=="user" and from_doc(doc) or nil
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
68 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
69 User.get_by_id = get_by_id
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
70
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
71 local password_chars = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
72 do
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
73 local t = {}
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
74 for i in range(1,#password_chars) do
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
75 t[#t+1] = sub_string(password_chars,i,i)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
76 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
77 password_chars = t
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
78 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
79
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
80 local function new_password()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
81 local n = #password_chars
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
82 local t = {}
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
83 for _ in range(1,10) do
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
84 t[#t+1] = password_chars[random(n)]
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
85 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
86 return concat(t)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
87 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
88
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
89 local function get_by_email(email)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
90 local doc = Db.get_document("user_email:"..lucene_quote(email))
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
91 return doc and from_doc(doc)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
92 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
93 -- User.get_by_email = get_by_email
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
94
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
95 function User.get_or_create_by_email(email)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
96 return run_in_transaction( function()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
97 local user = get_by_email(email)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
98 if user == nil then
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
99 user = User.new{
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
100 email = email
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
101 password = new_password()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
102 notify_email = email
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
103 }
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
104 user.save()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
105 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
106 return user
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
107 end )
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
108 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
109
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
110 local function current()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
111 local user = get_local_only(User,"current")
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
112 if user == nil then
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
113 local id = Http.request.cookies.user
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
114 local password = Http.request.cookies.password
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
115 if id == nil or password == nil then
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
116 user = "nil"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
117 else
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
118 user = get_by_id(id)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
119 if user == nil or user.password ~= password then
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
120 user = "nil"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
121 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
122 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
123 set_local_only(User,"current",user)
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
124 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
125 return user ~= "nil" and user or nil
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
126 end
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
127 User.current = current
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
128
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
129 return User