Description
When the gateway fails deployment there is still a pid created in the pids directory. This results in having to delete the pid in order to restart the server after fixing the problem that resulted in the failed deployment.
We need a doc fix for this at least for 0.4.0.