#!/bin/csh
# Shell script to start Aleph servers.
# Digital Unix version.
java aleph.tools.StartServers $argv


