diff options
Diffstat (limited to 'apps/JAWS/clients/WebSTONE/bin/killbench.pl')
| -rwxr-xr-x | apps/JAWS/clients/WebSTONE/bin/killbench.pl | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/apps/JAWS/clients/WebSTONE/bin/killbench.pl b/apps/JAWS/clients/WebSTONE/bin/killbench.pl deleted file mode 100755 index 42c616a79e0..00000000000 --- a/apps/JAWS/clients/WebSTONE/bin/killbench.pl +++ /dev/null @@ -1,15 +0,0 @@ -#!/pkg/gnu/bin//perl5 -# - -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 |