comparison src/ur/openidUser.ur @ 21:354dae3008de

Fix embarrassing bug that deleted sessions that were too new, rather than old
author Adam Chlipala <adam@chlipala.net>
date Sat, 08 Jan 2011 18:47:27 -0500
parents 2342d9baa0df
children 70ab0230649b
comparison
equal deleted inserted replaced
20:2342d9baa0df 21:354dae3008de
232 <a link={signup ()}>Sign up</a> 232 <a link={signup ()}>Sign up</a>
233 </xml> 233 </xml>
234 end 234 end
235 235
236 task periodic 60 = fn () => dml (DELETE FROM session 236 task periodic 60 = fn () => dml (DELETE FROM session
237 WHERE Expires >= CURRENT_TIMESTAMP) 237 WHERE Expires < CURRENT_TIMESTAMP)
238 238
239 end 239 end