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