From my point of view if you want to deploy a new plugin you have to remove the old platform, deploy the new plugin and restart your server. I don't know about the agent. It supports hot deployment, but I prefer to restart it.
Maybe you have to do it manually, when you deploy your new plugin before removing your platform.
Cheers Mirko