fix webdav bootstrap(#140); create separate webdav-server-settings variable; fix bug where appserver config was not rolled back