Class Plasma_shm.null_shm_manager


class null_shm_manager : unit -> shm_manager
This manager always reports the condition `Normal