diff options
Diffstat (limited to 'ACE/apps/JAWS/clients/WebSTONE/bin/WebStone-manage.pl')
-rwxr-xr-x | ACE/apps/JAWS/clients/WebSTONE/bin/WebStone-manage.pl | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/ACE/apps/JAWS/clients/WebSTONE/bin/WebStone-manage.pl b/ACE/apps/JAWS/clients/WebSTONE/bin/WebStone-manage.pl new file mode 100755 index 00000000000..77d2495a741 --- /dev/null +++ b/ACE/apps/JAWS/clients/WebSTONE/bin/WebStone-manage.pl @@ -0,0 +1,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 |