# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1294530447 18000
# Node ID 354dae3008de0b286de43ff30e3ab5d73e60be8b
# Parent  2342d9baa0dfded533f1ccd12e6e4aba39c429df
Fix embarrassing bug that deleted sessions that were too new, rather than old

diff -r 2342d9baa0df -r 354dae3008de src/ur/openidUser.ur
--- a/src/ur/openidUser.ur	Thu Jan 06 16:46:09 2011 -0500
+++ b/src/ur/openidUser.ur	Sat Jan 08 18:47:27 2011 -0500
@@ -234,6 +234,6 @@
         end
 
     task periodic 60 = fn () => dml (DELETE FROM session
-                                     WHERE Expires >= CURRENT_TIMESTAMP)
+                                     WHERE Expires < CURRENT_TIMESTAMP)
 
 end
diff -r 2342d9baa0df -r 354dae3008de tests/utest.ur
--- a/tests/utest.ur	Thu Jan 06 16:46:09 2011 -0500
+++ b/tests/utest.ur	Sat Jan 08 18:47:27 2011 -0500
@@ -18,6 +18,8 @@
                                     <tr> <th class={inputs}>Name:</th> <td><ctextbox source={r.Nam}/></td> </tr>
                                   </xml>
 
+                                  fun ready _ = return True
+
                                   fun tabulate r =
                                       n <- signal r.Nam;
                                       return {Nam = n}