#!/bin/bash
#
# OSM process restart script
#
if [ -f /var/run/osm.pid ]
	then
	OSMPID=$(cat /var/run/osm.pid)
	/usr/bin/logger -t restart-osm "Restarting osm process (pid $OSMPID)"
	kill $OSMPID > /dev/null 2>&1
fi