Yes. They are stopping perfectly. Also, when both servers are launched, both server are stopped. Not only the wrong one.
The strange thing is that I changed the ports of the first server to be something else than the default. The behavior stayed. So it seems to fallback to the first server in the list.