1 files changed, 17 insertions, 0 deletions
diff --git a/ACE/apps/JAWS/clients/WebSTONE/bin/killbench.pl b/ACE/apps/JAWS/clients/WebSTONE/bin/killbench.pl
new file mode 100755
index 00000000000..db9b0368632
--- /dev/null
+++ b/ACE/apps/JAWS/clients/WebSTONE/bin/killbench.pl
@@ -0,0 +1,17 @@
+#!/pkg/gnu/bin//perl5
+#
+#$Id$
+#
+
+push(@INC, "$wd/bin");
+require('WebStone-common.pl');
+
+html_begin();
+
+print CLIENT "<P>Killing WebStone processes<PRE>";
+system("$wd/bin/killbench");
+print CLIENT "</PRE><P>Done.";
+
+html_end();
+
+# end