Changing the port is not picked up #339
Description
I have a server that starts on a dynamic port each time.
So upon the start I write that port to the correct file under ~/.puma-dev/admin.
puma-dev however does not see this change and keeps on trying to send the request to the older now non-existing port.
I tried to add puma-dev -stop into the mix, hoping this would refresh the proxy but it doesn't.
What is the correct way to tell puma-dev to reread the config?