1 ! Copyright (c) 2008 Slava Pestov
\r
2 ! See http://factorcode.org/license.txt for BSD license.
\r
3 USING: accessors assocs namespaces kernel sequences sets
\r
4 destructors combinators fry logging
\r
5 io.encodings.utf8 io.encodings.string io.binary random
\r
6 checksums checksums.sha2
\r
10 http.server.dispatchers
\r
15 furnace.auth.providers
\r
16 furnace.auth.providers.db ;
\r
19 SYMBOL: logged-in-user
\r
21 : logged-in? ( -- ? )
\r
22 logged-in-user get >boolean ;
\r
24 : username ( -- string/f )
\r
25 logged-in-user get dup [ username>> ] when ;
\r
27 GENERIC: init-user-profile ( responder -- )
\r
29 M: object init-user-profile drop ;
\r
31 M: dispatcher init-user-profile
\r
32 default>> init-user-profile ;
\r
34 M: filter-responder init-user-profile
\r
35 responder>> init-user-profile ;
\r
37 : profile ( -- assoc ) logged-in-user get profile>> ;
\r
39 : user-changed ( -- )
\r
40 logged-in-user get t >>changed? drop ;
\r
42 : uget ( key -- value )
\r
45 : uset ( value key -- )
\r
49 : uchange ( quot key -- )
\r
50 profile swap change-at
\r
51 user-changed ; inline
\r
53 SYMBOL: capabilities
\r
55 V{ } clone capabilities set-global
\r
57 : define-capability ( word -- ) capabilities get adjoin ;
\r
59 TUPLE: realm < dispatcher name users checksum secure ;
\r
61 GENERIC: login-required* ( description capabilities realm -- response )
\r
63 GENERIC: init-realm ( realm -- )
\r
65 GENERIC: logged-in-username ( realm -- username )
\r
67 : login-required ( description capabilities -- * )
\r
68 realm get login-required* exit-with ;
\r
70 : new-realm ( responder name class -- realm )
\r
78 : users ( -- provider )
\r
81 TUPLE: user-saver user ;
\r
83 C: <user-saver> user-saver
\r
85 M: user-saver dispose
\r
86 user>> dup changed?>> [ users update-user ] [ drop ] if ;
\r
88 : save-user-after ( user -- )
\r
89 <user-saver> &dispose drop ;
\r
91 : init-user ( user -- )
\r
92 [ [ logged-in-user set ] [ save-user-after ] bi ] when* ;
\r
94 \ init-user DEBUG add-input-logging
\r
96 M: realm call-responder* ( path responder -- response )
\r
100 dup logged-in-username
\r
101 dup [ users get-user ] when
\r
106 : encode-password ( string salt -- bytes )
\r
107 [ utf8 encode ] [ 4 >be ] bi* append
\r
108 realm get checksum>> checksum-bytes ;
\r
110 : >>encoded-password ( user string -- user )
\r
111 32 random-bits [ encode-password ] keep
\r
112 [ >>password ] [ >>salt ] bi* ; inline
\r
114 : valid-login? ( password user -- ? )
\r
115 [ salt>> encode-password ] [ password>> ] bi = ;
\r
117 : check-login ( password username -- user/f )
\r
118 users get-user dup [ [ valid-login? ] keep and ] [ 2drop f ] if ;
\r
120 : if-secure-realm ( quot -- )
\r
121 realm get secure>> [ if-secure ] [ call ] if ; inline
\r
123 TUPLE: secure-realm-only < filter-responder ;
\r
125 C: <secure-realm-only> secure-realm-only
\r
127 M: secure-realm-only call-responder*
\r
128 '[ , , call-next-method ] if-secure-realm ;
\r
130 TUPLE: protected < filter-responder description capabilities ;
\r
132 : <protected> ( responder -- protected )
\r
136 : have-capabilities? ( capabilities -- ? )
\r
137 realm get secure>> secure-connection? not and [ drop f ] [
\r
138 logged-in-user get {
\r
139 { [ dup not ] [ 2drop f ] }
\r
140 { [ dup deleted>> 1 = ] [ 2drop f ] }
\r
141 [ capabilities>> subset? ]
\r
145 M: protected call-responder* ( path responder -- response )
\r
147 dup capabilities>> have-capabilities?
\r
148 [ call-next-method ] [
\r
149 [ drop ] [ [ description>> ] [ capabilities>> ] bi ] bi*
\r
150 realm get login-required*
\r
153 : <auth-boilerplate> ( responder -- responder' )
\r
154 <boilerplate> { realm "boilerplate" } >>template ;
\r
156 : password-mismatch ( -- * )
\r
157 "passwords do not match" validation-error
\r
158 validation-failed ;
\r
160 : same-password-twice ( -- )
\r
161 "new-password" value "verify-password" value =
\r
162 [ password-mismatch ] unless ;
\r
164 : user-exists ( -- * )
\r
165 "username taken" validation-error
\r
166 validation-failed ;
\r