#!/bin/csh
# Shell script to kill all Aleph servers.
# Digital Unix version.
java aleph.tools.KillServers $argv 

