Fixed various bugs in the property stuff. Added some more request trace stuff. Rev: server/base_server/module.pike:1.162