#!/usr/bin/csh
#This script runs the non-root servers and other utility agents
