| 1 | <% @header [("title", ["Disk usage stats"])] %> |
| 2 | |
| 3 | <table class="data"> |
| 4 | <tr> <td style="text-align: right"><b>Member</b></td> <td><b>Space Used (kB)</b></td> </tr> |
| 5 | |
| 6 | <% foreach du in Stats.getDiskUsage () do %> |
| 7 | <tr><td style="text-align: right"><% |
| 8 | val id = Init.userNameToId (#uname du); |
| 9 | switch id of |
| 10 | SOME id => %><a href="user?id=<% id %>"><% |
| 11 | end |
| 12 | %><% Web.html (#uname du) %><% |
| 13 | switch id of |
| 14 | SOME id => %></a><% |
| 15 | end |
| 16 | %></td> <td style="text-align: right"><% #kbs du %></td> </tr> |
| 17 | <% end %> |
| 18 | |
| 19 | </table> |
| 20 | |
| 21 | </body></html> |