- better headers formatting

alecpl

2010-01-14 8490014ffe2652b0065e3d3e0a68c3e9e0bdde4a

- better headers formatting

 program/steps/mail/headers.inc

@@ -25,9 +25,17 @@
  if ($source)
    {
    $source = htmlspecialchars(trim($source));
    $source = preg_replace('/\t/', '    ', $source);
    $source = preg_replace('/^([a-z0-9_:-]+)/im', '<font class="bold">'.'\1'.'</font>', $source);
    $source = preg_replace('/\r?\n/', '<br />', $source);
    $source = preg_replace(
      array(
        '/\n[\t\s]+/',
        '/^([a-z0-9_:-]+)/im',
        '/\r?\n/'
      ),
      array(
        "\n&nbsp;&nbsp;&nbsp;&nbsp;",
        '<font class="bold">\1</font>',
        '<br />'
      ), $source);
    
    $OUTPUT->command('set_headers', $source);
    $OUTPUT->send();