# File lib/rubyrep/database_proxy.rb, line 35
    def destroy_session(session)
      session.destroy
      session_register.delete session
    end