Merge pull request #892 from ulikoehler/develop

Exported HTML ist not W3C valid (has no title tag)
2012-07-22 11:59:31 -07:00 · 2012-07-22 11:59:31 -07:00 · 4f79f74be5
parent 76933f2b1d 14582d1eba
commit 4f79f74be5
1 changed files with 1 additions and 0 deletions
--- a/src/node/utils/ExportHtml.js
+++ b/src/node/utils/ExportHtml.js
@ -469,6 +469,7 @@ exports.getPadHTMLDocument = function (padId, revNum, noDocType, callback)
    var head = 
      (noDocType ? '' : '<!doctype html>\n') + 
      '<html lang="en">\n' + (noDocType ? '' : '<head>\n' + 
+	'<title>' + Security.escapeHTML(padId) + '</title>\n' +
        '<meta charset="utf-8">\n' + 
        '<style> * { font-family: arial, sans-serif;\n' + 
          'font-size: 13px;\n' +