indexing description: "A shared logger." author: "Patrick Ruckstuhl " date: "$Date$" revision: "$Revision$" class P2P_SHARED_LOG feature -- Access vampeer_logger: L4E_LOGGER is -- Vampeer rescue logger. do Result := vampeer_logger_store.item end feature -- Update set_vampeer_logger (a_logger: like vampeer_logger) is -- Set vampeer logger. require a_logger_ok: a_logger /= Void do vampeer_logger_store.put (a_logger) ensure vampeer_logger_updated: vampeer_logger = a_logger end feature {NONE} -- Implementation vampeer_logger_store: CELL [L4E_LOGGER] is -- Field to store the vampeer logger. indexing once_status: global once create Result ensure Result_not_void: Result /= Void end end