Cleans up the memory mapped file if necessary.
(self)
| 130 | sys.exit(1) |
| 131 | |
| 132 | def CleanUp(self): |
| 133 | """Cleans up the memory mapped file if necessary.""" |
| 134 | if self.shared_mmap: |
| 135 | self.shared_mmap.close() |
| 136 | |
| 137 | def UpdateCounters(self): |
| 138 | """Read the contents of the memory-mapped file and update the ui if |