pid=`pidof http_server`
echo "The http server pid is ${pid}"
kill -USR1 $pid
echo "Reloading success"