diff options
Diffstat (limited to 'trunk/ACE/apps/JAWS/clients/WebSTONE/bin/runbench.pl')
-rwxr-xr-x | trunk/ACE/apps/JAWS/clients/WebSTONE/bin/runbench.pl | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/trunk/ACE/apps/JAWS/clients/WebSTONE/bin/runbench.pl b/trunk/ACE/apps/JAWS/clients/WebSTONE/bin/runbench.pl new file mode 100755 index 00000000000..fdd12e4d530 --- /dev/null +++ b/trunk/ACE/apps/JAWS/clients/WebSTONE/bin/runbench.pl @@ -0,0 +1,38 @@ +#!/pkg/gnu/bin//perl5 +# +#$Id$ +# + +push(@INC, "$wd/bin"); +require('WebStone-common.pl'); +require('flush.pl'); + +# force flush after every write or print +$| = 1; + +html_begin("In Progress"); + +print CLIENT "<H3><CENTER>Running WebStone</CENTER></H3><PRE>"; +show_model(); +&flush(CLIENT); +&flush(STDOUT); + +&start_runbench(); + +print CLIENT <<EOF +<TITLE>WebStone Completed</TITLE> +</PRE><CENTER> +<FORM METHOD=POST ACTION="http://localhost:$html_port$wd/bin/view-results.pl"> +<INPUT TYPE="submit" VALUE="View Results"> +</CENTER> +EOF + ; + +html_end(); + +sub start_runbench { + $command = "cd $wd/bin; ./runbench"; + system($command); +} + +# end |