facebook/hhvm — pull request #1345 by danslo (2013-12-13 18:03:37+00:00)
Title: close pdo connection after request ends

When a request finishes and the PDO connection is not closed in
userland, we need to explictly close it to prevent excessive amount of
connections (and eventually causing MySQL to reject them).

This can obviously be solved in userland by closing the connection in a
register_shutdown_function, but we need to be consistent with PHP.

I'm not sure if this is the way to solve this problem, so this pull request is meant as a place for more knowledgeable people to give input on the issue.