db-api/dev.ust.zinc.grader.db/DatabaseManager/close

close

open override fun close()