On Fri, Jan 15, 2010 at 7:59 AM, Jason Armstrong <ja@riverdrums.com> wrote:
> How do I get the name of a database from a directory on disk (eg
> $datadir/base/16494)?
There's a handy little utility called oid2name you can use to do it
from the command line.