Calls unlink() on the shared memory block with the supplied name and removes it from the list of blocks being tracked.
(self, segment_name)
| 1304 | self.segment_names.append(segment_name) |
| 1305 | |
| 1306 | def destroy_segment(self, segment_name): |
| 1307 | """Calls unlink() on the shared memory block with the supplied name |
| 1308 | and removes it from the list of blocks being tracked.""" |
| 1309 | util.debug(f"Destroy segment {segment_name!r} in pid {getpid()}") |
| 1310 | self.segment_names.remove(segment_name) |
| 1311 | segment = shared_memory.SharedMemory(segment_name) |
| 1312 | segment.close() |
| 1313 | segment.unlink() |
| 1314 | |
| 1315 | def unlink(self): |
| 1316 | "Calls destroy_segment() on all tracked shared memory blocks." |
no test coverage detected