diff options
author | William R. Otte <wotte@dre.vanderbilt.edu> | 2006-07-24 15:50:30 +0000 |
---|---|---|
committer | William R. Otte <wotte@dre.vanderbilt.edu> | 2006-07-24 15:50:30 +0000 |
commit | c44379cc7d9c7aa113989237ab0f56db12aa5219 (patch) | |
tree | 66a84b20d47f2269d8bdc6e0323f338763424d3a /ACE/apps/JAWS/clients/WebSTONE/bin/WebStone-manage.pl | |
parent | 3aff90f4a822fcf5d902bbfbcc9fa931d6191a8c (diff) | |
download | ATCD-c44379cc7d9c7aa113989237ab0f56db12aa5219.tar.gz |
Repo restructuring
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 |