Thanks for your help Iñaki.
Persistent connections are enabled in php.ini but disabled in config.php with the line $CFG->dbpersist = false; so I should be OK there I think - is that right?
I am however pursuing the database modification suggested in the other posting you referred me to.
Cheers,
Tony