Class Plasma_shm.null_shm_manager

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