blob: 77d2495a7418cd4b0c95b7ec237670b6399ca91d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/pkg/gnu/bin//perl5
#
#$Id$
#
push(@INC, "$wd/bin");
require('WebStone-common.pl');
html_begin("Administration");
$runsdir = "$wd/bin/runs";
$thelength = length($runsdir) + 10;
$oldrunsdir = $runsdir;
$oldfilelist = "$wd/conf/filelist";
print CLIENT <<EOF
<FORM METHOD="POST" ACTION="$wd/bin/killbench.pl">
<H3>Clean up stray WebStone processes</H3>
<INPUT TYPE="SUBMIT" VALUE="Kill">
</FORM>
<HR>
<FORM METHOD="POST" ACTION="$wd/bin/move-runs.pl">
<H3>Move Results Directory to:</H3>
<INPUT TYPE=TEXT NAME=runsdir SIZE=$thelength VALUE=$runsdir>
<INPUT TYPE="SUBMIT" VALUE="Move Directory">
</FORM>
EOF
;
html_end();
# end
|
