diff options
Diffstat (limited to 'apps/JAWS/clients/WebSTONE/bin/WebStone-manage.pl')
-rwxr-xr-x | apps/JAWS/clients/WebSTONE/bin/WebStone-manage.pl | 31 |
1 files changed, 0 insertions, 31 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 e9d28e8fecf..00000000000 --- a/apps/JAWS/clients/WebSTONE/bin/WebStone-manage.pl +++ /dev/null @@ -1,31 +0,0 @@ -#!/pkg/gnu/bin//perl5 -# - -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 |