#!/bin/sh

if [ -z "$MAINPID" ]; then
    echo "error: MAINPID is not set"
    exit 1
fi
echo "reloading main PID: $MAINPID"
kill -HUP $MAINPID
