#!/bin/csh

# Kill server on local machine
kill -INT `pidof rcssserver`

