#!/pkg/gnu/bin//perl5 # #$Id$ # push(@INC, "$wd/bin"); require('WebStone-common.pl'); html_begin(); print CLIENT "
Killing WebStone processes
"; system("$wd/bin/killbench"); print CLIENT "
Done."; html_end(); # end