One more fix in dots_shm_repository
Merged from master, fix in dots_shm_repository