diff options
Diffstat (limited to 'apps/JAWS/clients/WebSTONE/bin/runbench.pl')
-rwxr-xr-x | apps/JAWS/clients/WebSTONE/bin/runbench.pl | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/apps/JAWS/clients/WebSTONE/bin/runbench.pl b/apps/JAWS/clients/WebSTONE/bin/runbench.pl deleted file mode 100755 index 81071504f1a..00000000000 --- a/apps/JAWS/clients/WebSTONE/bin/runbench.pl +++ /dev/null @@ -1,36 +0,0 @@ -#!/pkg/gnu/bin//perl5 -# - -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 |