#!/bin/sh

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