#!/pkg/gnu/bin//perl5
#
#WebStone-run.pl,v 1.2 2000/06/04 22:00:02 brunsch Exp
#

$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
