#!/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 "

Running WebStone

";
show_model();
&flush(CLIENT);
&flush(STDOUT);

&start_runbench();

print CLIENT <WebStone Completed
EOF ; html_end(); sub start_runbench { $command = "cd $wd/bin; ./runbench"; system($command); } # end