a41f8250 |
1 | <% @header [("title", ["Disk usage stats"])] %> |
2 | |
3 | <table> |
4 | <tr> <td align="right"><b>User</b></td> <td><b>Blocks</b></td> <td><b>Files</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><% #blocks du %></td> <td><% #files du %></td> </tr> |
18 | <% end %> |
19 | |
20 | </table> |
21 | |
22 | </body></html> |