1 <h1>venti debugging</h1>
3 <a href="/debug?op=amap">amap</a><br>
4 <a href="/debug?op=mem">mem</a><br>
5 <a href="/disk">disk</a><br>
6 <form method=get action="/disk">
8 <input type=hidden name=type value=a></input>
9 <input type=text name=disk size=50></input>
10 <input type=submit value="Go">
12 <form method=get action="/disk">
14 <input type=hidden name=type value=b></input>
15 <input type=text name=disk size=50></input>
16 <input type=submit value="Go">
18 <form method=get action="/disk">
20 <input type=hidden name=type value=i></input>
21 <input type=text name=disk size=50></input>
22 <input type=submit value="Go">
25 <form method=get action="/debug">
26 <input type=hidden name=op value=read></input>
28 <input type=text name=score size=50></input>
29 <input type=submit value="Go">
32 <form method=get action="/disk">
34 <input type=hidden name=type value=a></input>
35 <input type=text name=score size=50></input>
37 <input type=text name=arena size=20></input>
39 <input type=text name=disk size=20></input>
40 <input type=submit value="Go">