5 require('WebStone-common.pl');
7 html_begin
("Administration");
9 $runsdir = "$wd/bin/runs";
10 $thelength = length($runsdir) + 10;
11 $oldrunsdir = $runsdir;
12 $oldfilelist = "$wd/conf/filelist";
15 <FORM METHOD="POST" ACTION="$wd/bin/killbench.pl">
16 <H3>Clean up stray WebStone processes</H3>
17 <INPUT TYPE="SUBMIT" VALUE="Kill">
21 <FORM METHOD="POST" ACTION="$wd/bin/move-runs.pl">
22 <H3>Move Results Directory to:</H3>
23 <INPUT TYPE=TEXT NAME=runsdir SIZE=$thelength VALUE=$runsdir>
24 <INPUT TYPE="SUBMIT" VALUE="Move Directory">