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