Fixed a problem where directory delimiters disappeared from the file name when uploading files with Internet Explorer. Rev: server/protocols/http.pike:1.560