#!/bin/sh

# This is just a wrapper, that way the students don't
# need to put in the full path while allowing us to 
# restrict it to the full path in sudoers.

sudo /home/rss-staff/RSS-I-pub/scripts/carmen-kill-real.sh