#!/bin/sh
set -e
chkconfig --del instrument_server
exit 0