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