diff options
Diffstat (limited to 'ACE/apps/JAWS/clients/WebSTONE/bin/WebStone-run.pl')
-rwxr-xr-x | ACE/apps/JAWS/clients/WebSTONE/bin/WebStone-run.pl | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/ACE/apps/JAWS/clients/WebSTONE/bin/WebStone-run.pl b/ACE/apps/JAWS/clients/WebSTONE/bin/WebStone-run.pl new file mode 100755 index 00000000000..28efe90c4d5 --- /dev/null +++ b/ACE/apps/JAWS/clients/WebSTONE/bin/WebStone-run.pl @@ -0,0 +1,39 @@ +#!/pkg/gnu/bin//perl5 +# +#$Id$ +# + +$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 |