/* add \r\n to HTML header string */
webformatheader(header)
{
local eol = strescape("\r\n");
if (strlen(header) > 0)
{
if (strlen(strfind(eol, header)) == 0)
{
header += eol;
}
}
return(header);
}