#!/bin/bash

curl http://127.0.0.1:12701/reload

echo "begin reloading"