Added and used Protocol.prot_name, since the name of the protocol object isn't always the same as the name of the actual protocol. Rev: server/base_server/prototypes.pike:1.24 Rev: server/protocols/http.pike:1.322 Rev: server/protocols/prot_fhttp.pike:2.2 Rev: server/protocols/prot_ftp.pike:2.2 Rev: server/protocols/prot_ftps.pike:2.3 Rev: server/protocols/prot_hilfe.pike:2.5 Rev: server/protocols/prot_http.pike:2.3 Rev: server/protocols/prot_https.pike:2.3 Rev: server/protocols/prot_tetris.pike:2.2