don't fail webserver init in case a resourcepool ping fails webdav

add first code for postgresql plugin: resourcepool type implementation webdav

add ResourcePool initialization webdav

update .hgignore webdav

(0) -100 -30 -10 -4 +4 +10 +30 +100 tip

mercurial