annotate src/lib/User.luan @ 117:e2deb5236f26

better login
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 04 Dec 2025 21:43:47 -0700
parents 7b339b1ccd11
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
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 ipairs = Luan.ipairs or error()
3
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
4 local range = Luan.range or error()
2
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local to_string = Luan.to_string or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local get_local_only = Luan.get_local_only or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local set_local_only = Luan.set_local_only or error()
3
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
8 local String = require "luan:String.luan"
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
9 local sub_string = String.sub or error()
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
10 local Math = require "luan:Math.luan"
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
11 local random = Math.random or error()
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
12 local Table = require "luan:Table.luan"
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
13 local concat = Table.concat or error()
46
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
14 local Html = require "luan:Html.luan"
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
15 local html_encode = Html.encode or error()
117
e2deb5236f26 better login
Franklin Schmidt <fschmidt@gmail.com>
parents: 88
diff changeset
16 local url_encode = Html.url_encode or error()
2
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 local Lucene = require "luan:lucene/Lucene.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 local lucene_quote = Lucene.quote or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 local Http = require "luan:http/Http.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 local Db = require "site:/lib/Db.luan"
3
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
21 local run_in_transaction = Db.run_in_transaction or error()
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
22 local Chat = require "site:/lib/Chat.luan"
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
23 local chat_search = Chat.search or error()
33
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
24 local Utils = require "site:/lib/Utils.luan"
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
25 local list_to_set = Utils.list_to_set or error()
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
26 local set_to_list = Utils.set_to_list or error()
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
27 local base_url = Utils.base_url or error()
2
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 local Logging = require "luan:logging/Logging.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 local logger = Logging.logger "User"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 local User = {}
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 local function from_doc(doc)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 doc.type == "user" or error "wrong type"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 return User.new {
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 id = doc.id
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 email = doc.user_email
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 password = doc.password
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
40 was_notified = doc.was_notified=="true"
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
41 notify_email = doc.notify_email
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
42 multi_notify = doc.multi_notify=="true"
41
818697418dbe add voice link
Franklin Schmidt <fschmidt@gmail.com>
parents: 40
diff changeset
43 voice_url = doc.voice_url
46
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
44 name = doc.name
2
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45 }
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
47
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
48 local function to_doc(user)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
49 return {
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 type = "user"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
51 id = user.id
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
52 user_email = user.email
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
53 password = user.password
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
54 was_notified = user.was_notified and "true" or nil
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
55 notify_email = user.notify_email
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
56 multi_notify = user.multi_notify and "true" or nil
41
818697418dbe add voice link
Franklin Schmidt <fschmidt@gmail.com>
parents: 40
diff changeset
57 voice_url = user.voice_url
46
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
58 name = user.name
2
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59 }
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62 function User.new(user)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64 function user.save()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
65 local doc = to_doc(user)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 Db.save(doc)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
67 user.id = doc.id
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
68 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
69
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
70 function user.reload()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
71 return User.get_by_id(user.id) or error(user.id)
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
72 end
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
73
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
74 function user.delete()
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
75 run_in_transaction( function()
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
76 local id = user.id
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
77 local chats = chat_search("chat_user_ids:"..id)
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
78 for _, chat in ipairs(chats) do
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
79 chat.delete()
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
80 end
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
81 Db.delete("id:"..id)
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
82 end )
2
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
83 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
84
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
85 function user.login()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
86 local id = to_string(user.id)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
87 Http.response.set_persistent_cookie("user",id)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
88 Http.response.set_persistent_cookie("password",user.password)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
89 Http.request.cookies.user = id
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
90 Http.request.cookies.password = user.password or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
91 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
92
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
93 function user.last_update()
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
94 local chats = chat_search( "chat_user_ids:"..user.id, "chat_updated desc", 1 )
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
95 local n = #chats
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
96 if n == 0 then
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
97 return 0
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
98 elseif n == 1 then
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
99 return chats[1].updated
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
100 else error() end
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
101 end
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents: 9
diff changeset
102
33
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
103 function user.chatting_with_ids()
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
104 local my_id = user.id
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
105 local user_ids = list_to_set{}
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
106 local chats = chat_search( "chat_user_ids:"..my_id )
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
107 for _, chat in ipairs(chats) do
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
108 for _, user_id in ipairs(chat.user_ids) do
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
109 user_ids[user_id] = true
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
110 end
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
111 end
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
112 user_ids[my_id] = false
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
113 return set_to_list(user_ids)
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
114 end
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
115
46
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
116 function user.name_html()
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
117 return html_encode(user.name or user.email)
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
118 end
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
119
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
120 function user.login_url()
117
e2deb5236f26 better login
Franklin Schmidt <fschmidt@gmail.com>
parents: 88
diff changeset
121 return base_url().."/login.html?email="..url_encode(user.email).."&password="..user.password
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
122 end
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
123
2
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
124 return user
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
125 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
126
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
127 local function get_by_id(id)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
128 local doc = Db.get_document("id:"..id)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
129 return doc and doc.type=="user" and from_doc(doc) or nil
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
130 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
131 User.get_by_id = get_by_id
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
132
3
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
133 local password_chars = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz"
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
134 do
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
135 local t = {}
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
136 for i in range(1,#password_chars) do
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
137 t[#t+1] = sub_string(password_chars,i,i)
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
138 end
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
139 password_chars = t
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
140 end
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
141
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
142 local function new_password()
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
143 local n = #password_chars
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
144 local t = {}
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
145 for _ in range(1,10) do
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
146 t[#t+1] = password_chars[random(n)]
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
147 end
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
148 return concat(t)
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
149 end
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
150
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
151 local function get_by_email(email)
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
152 local doc = Db.get_document("user_email:"..lucene_quote(email))
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
153 return doc and from_doc(doc)
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
154 end
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
155 User.get_by_email = get_by_email
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
156
3
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
157 function User.get_or_create_by_email(email)
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
158 return run_in_transaction( function()
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
159 local user = get_by_email(email)
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
160 if user == nil then
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
161 user = User.new{
3
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
162 email = email
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
163 password = new_password()
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
164 notify_email = email
3
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
165 }
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
166 user.save()
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
167 end
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
168 return user
3
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
169 end )
2
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
170 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
171
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
172 function User.search(query,sort,rows)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
173 rows = rows or 1000000
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
174 local users = {}
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
175 local docs = Db.search(query,1,rows,{sort=sort})
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
176 for _, doc in ipairs(docs) do
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
177 users[#users+1] = from_doc(doc)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
178 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
179 return users
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
180 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
181
3
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
182 local function current()
2
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
183 local user = get_local_only(User,"current")
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
184 if user == nil then
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
185 local id = Http.request.cookies.user
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
186 local password = Http.request.cookies.password
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
187 if id == nil or password == nil then
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
188 user = "nil"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
189 else
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
190 user = get_by_id(id)
3
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
191 if user == nil or user.password ~= password then
2
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
192 user = "nil"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
193 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
194 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
195 set_local_only(User,"current",user)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
196 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
197 return user ~= "nil" and user or nil
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
198 end
3
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
199 User.current = current
2
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
200
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
201 function User.current_required()
3
2c63b10781e1 add login
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
202 local user = current()
2
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
203 user or Http.response.send_redirect "/login.html"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
204 return user
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
205 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
206
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
207 return User