A fix that should be more in line with the intention in the example. Rev: server/modules/examples/userdb_ex.pike:1.6