indexing

	description: "[

		User Directory singleton.

	]"
	date: "$Date$"
	revision: "$Revision$"

class EM_SHARED_USER_DIRECTORY

feature -- User directory singleton

	user_directory: EM_USER_DIRECTORY is
			-- User directory singleton
		once
			create Result.make
		ensure
			Result.root_path /= void
		end
end