xml_encode($title)
authorMike Taylor <mike@indexdata.com>
Mon, 25 Sep 2006 19:52:20 +0000 (19:52 +0000)
committerMike Taylor <mike@indexdata.com>
Mon, 25 Sep 2006 19:52:20 +0000 (19:52 +0000)
web/htdocs/chrome/bannerrow.mc
web/htdocs/chrome/head.mc

index 8155e9b..70bf849 100644 (file)
@@ -1,4 +1,4 @@
-%# $Id: bannerrow.mc,v 1.5 2006-09-25 16:46:27 mike Exp $
+%# $Id: bannerrow.mc,v 1.6 2006-09-25 19:52:20 mike Exp $
 <%args>
 $title
 </%args>
@@ -9,6 +9,6 @@ $title
     </td>
     <td align="right">
      <br/>
-     <h1 class="title"><% $title %></h1>
+     <h1 class="title"><% xml_encode($title) %></h1>
     </td>
    </tr>
index 5ab3d36..f4b133d 100644 (file)
@@ -1,4 +1,4 @@
-%# $Id: head.mc,v 1.2 2006-09-22 09:05:39 mike Exp $
+%# $Id: head.mc,v 1.3 2006-09-25 19:53:02 mike Exp $
 <%args>
 $title
 </%args>
@@ -9,7 +9,7 @@ $title
     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
  <head>
-  <title>IRSpy: <% $title %></title>
+  <title>IRSpy: <% xml_encode($title) %></title>
   <style type="text/css">
    <& style.mc &>
   </style>