indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	EM_SHARED_NETWORK_SUBSYSTEM

feature
	Network_subsystem : EM_NETWORK_SUBSYSTEM is
			-- EiffelMedia network subsystem is
		once
			create Result.make
		ensure
			network_subsystem_not_void: Result /= void
		end
end