Changing the port is not picked up

[Hermanverschooten]

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?