1) Deploy a WAR with a *.dodeploy file.
2) Stop the server
3) Remove the *.isDeployed file
4) Restart the server
WAR is still deployed. I expect it to undeploy since isDeployed is now removed.
At this point, the only way I see to undeploy it is to create another dodeploy file, let it deploy again, and then delete isDeployed while the server is running.