apps/JAWS/clients/WebSTONE/bin/killbench.pl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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