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