php - PHP Active Record 删除连接

Question

我正在使用PHP Active Record - 有人知道你是如何终止连接的吗？我需要杀死它，这样我才能重新连接并建立新的连接，而不是让它闲置直到它过期。

这就是我实例化它的方式：

    ActiveRecord\Config::initialize(function($cfg) {
        $cfg->set_model_directory(APPLICATION_PATH . 'model');
        $cfg->set_connections(array('development' => DB_TYPE.'://'.DB_USER.':'.DB_PASS.'@'.DB_HOST.'/'.DB_NAME));
    });

我试过这个，但它不是一种方法：

ActiveRecord\ConnectionManager::drop_connection();

Answer 1

到目前为止，当我更新到具有相当多不同文件的最新Github PHP Active Record时，它似乎正在工作。我很困惑，因为他们网站上的 ZIP 与 GitHub 相比已经过时了。

新副本似乎有一个auto-rbuilt，我不必手动执行此操作（还）