#!/bin/sh -e

# Read configuration
sourceconf() { [ -r "$1" ] && . "$1"; }
sourceconf ./conf

# Delete socket and PID file
exec rm -f "$socket" "${socket}.pid"