[Bug 519710] New: flags argument of $pool->refresh() undocumented