Calls unlink() on the shared memory block with the supplied name and removes it from the list of blocks being tracked.
(self, segment_name)
| 1263 | self.segment_names.append(segment_name) |
| 1264 | |
| 1265 | def destroy_segment(self, segment_name): |
| 1266 | """Calls unlink() on the shared memory block with the supplied name |
| 1267 | and removes it from the list of blocks being tracked.""" |
| 1268 | util.debug(f"Destroy segment {segment_name!r} in pid {getpid()}") |
| 1269 | self.segment_names.remove(segment_name) |
| 1270 | segment = shared_memory.SharedMemory(segment_name) |
| 1271 | segment.close() |
| 1272 | segment.unlink() |
| 1273 | |
| 1274 | def unlink(self): |
| 1275 | "Calls destroy_segment() on all tracked shared memory blocks." |