class 
	DB_SHARED

feature -- Access

	db_manager: DATABASE_MANAGER is
		once
			Create Result
		end

end -- Class DB_SHARED