@observe('db')
    def _db_changed(self, change):
        # db session changed, re-get orm User
        if self.orm_user:
            id = self.orm_user.id
            self.orm_user = change['new'].query(orm.User).filter(orm.User.id==id).first()
        self.spawner.db = self.db
Add the given plugin or directory of plugins to this manager instance.
dataset/ETHPy150Open jupyterhub/jupyterhub/jupyterhub/user.py/User._db_changed--crossover with--dataset/ETHPy150Open robmadole/jig/src/jig/plugins/manager.py/PluginManager.add