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