Just a small name change. Rev: server/base_server/rxml.pike:1.67 Rev: server/etc/modules/RXML.pmod/module.pmod:1.17