[sr-dev] git:master:33e082dd: debugger: destroy debugger shm hashtable