Before this change we were starting the server twice for webdav which is inefficient and causes problems at exit.