annotate src/ur/lib.urp @ 18:dd8eb53da51b

Pretend user isn't logged in when he gives bogus session data; add some documentation to openidUser.urs
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Jan 2011 15:17:15 -0500
parents df2eb629f21a
children f129ddee75f3
rev   line source
adam@0 1 library config
adam@0 2 ffi openidFfi
adam@1 3 link -lurweb_openid -lexpat
adam@0 4 effectful OpenidFfi.init
adam@1 5 effectful OpenidFfi.discover
adam@3 6 effectful OpenidFfi.createInputs
adam@3 7 effectful OpenidFfi.addInput
adam@8 8 effectful OpenidFfi.direct
adam@3 9 effectful OpenidFfi.indirect
adam@8 10 effectful OpenidFfi.generate
adam@8 11 effectful OpenidFfi.compute
adam@17 12 library $META
adam@0 13
adam@6 14 $/string
adam@2 15 $/option
adam@9 16 $/list
adam@0 17 openid
adam@16 18 openidUser