Fixed bug in copy_properties. Renamed query_properties to query_property_set. Fixed some types. Rev: server/base_server/module.pike:1.195