indexing

	description: "[

		Application ID singleton.

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

class EM_SHARED_APPLICATION_ID

feature -- Application ID singleton

	application_id: EM_APPLICATION_ID is
			-- Application ID singleton.
		indexing
			once_status: global
		once
			create Result
		end
end