header.mlt

   1 <html><head>
   2 <% val title =
   3         case $"title" of
   4                   "" => "Hcoop Portal"
   5                 | t => ("Hcoop Portal: " ^ t) %>
   6 <title><% Web.html title %></title>
   7 </head><body>
   8
   9 <% if Group.inGroupNum 0 then %>
  10 <p><b>Admin</b>: <a href="users">Members</a> | <a href="groups">Groups</a> | <a href="balances">Balances</a></p>
  11 <% end %>
  12
  13 <h2><b><% Web.html title %></b></h2>