Section 4.17 (cron) mentions hard vs soft cron defaults, but doesn't say how to override them.
Section 4.1 (cli) doesn't list --softcron The startup message for soft cron says: 'Using softcron (but this is not very efficient)' In what sense "not efficient"? I understand that the timing is less consistent, but is there really more overhead? softcron seems like a pretty reasonable choice if all you're doing it deleting expired sessions. -- You received this message because you are subscribed to the Google Groups "web2py-users" group. To post to this group, send email to web...@googlegroups.com. To unsubscribe from this group, send email to web2py+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/web2py?hl=en.
