diff options
Diffstat (limited to 'apps/JAWS/clients/WebSTONE/bin/WebStone-run.pl')
-rwxr-xr-x | apps/JAWS/clients/WebSTONE/bin/WebStone-run.pl | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/apps/JAWS/clients/WebSTONE/bin/WebStone-run.pl b/apps/JAWS/clients/WebSTONE/bin/WebStone-run.pl deleted file mode 100755 index 716cebfa602..00000000000 --- a/apps/JAWS/clients/WebSTONE/bin/WebStone-run.pl +++ /dev/null @@ -1,37 +0,0 @@ -#!/pkg/gnu/bin//perl5 -# - -$testbed = "conf/testbed"; - -push(@INC, "$wd/bin"); -require('WebStone-common.pl'); - -html_begin("Run"); - -print CLIENT <<EOF -<H3><CENTER><A HREF="WebStone-setup.pl">Edit Configuration</A> -</CENTER></H3> -EOF - ; - -&show_model(); -print CLIENT "<PRE>"; - -open(FILEHANDLE, $testbed); -while (<FILEHANDLE>) { - (/^\#/) || print CLIENT $_; -} -close(FILEHANDLE); - -print CLIENT <<EOF -</PRE> -<CENTER> -<FORM METHOD=POST ACTION="http://localhost:$html_port$wd/bin/runbench.pl"> -<INPUT TYPE="submit" VALUE="Run WebStone"> -</CENTER> -EOF - ; - -html_end(); - -# end |