diff options
| author | nobody <nobody@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 2004-07-31 16:14:11 +0000 |
|---|---|---|
| committer | nobody <nobody@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 2004-07-31 16:14:11 +0000 |
| commit | 9c2ec3049a5634f1c916d792e81fc80edb669ea8 (patch) | |
| tree | 0d634e179761581cadbffe852e7f9a9f049b5c6e /apps/JAWS/clients/WebSTONE/bin/killbench.pl | |
| parent | 6540653cf736840d5aad719c73a8e43a549080be (diff) | |
| download | ATCD-9c2ec3049a5634f1c916d792e81fc80edb669ea8.tar.gz | |
This commit was manufactured by cvs2svn to create tag 'TAO-1_4_2'.TAO-1_4_2
Diffstat (limited to 'apps/JAWS/clients/WebSTONE/bin/killbench.pl')
| -rwxr-xr-x | apps/JAWS/clients/WebSTONE/bin/killbench.pl | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/apps/JAWS/clients/WebSTONE/bin/killbench.pl b/apps/JAWS/clients/WebSTONE/bin/killbench.pl deleted file mode 100755 index db9b0368632..00000000000 --- a/apps/JAWS/clients/WebSTONE/bin/killbench.pl +++ /dev/null @@ -1,17 +0,0 @@ -#!/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 |