Always set the charset for text/* responses. At least Firefox 2.0 is known to propagate the charset from the frameset page to the frame pages if they lack explicit charsets. Also some indentation changes and minor code cleanups. Rev: server/base_server/prototypes.pike:1.211