(self)
| 238 | return Mastersrv(self, *args, **kwargs) |
| 239 | |
| 240 | def kill_all(self): |
| 241 | for process in self.processes: |
| 242 | if process.poll() is None: |
| 243 | # print("warning: process hasn't terminated") # TODO |
| 244 | process.kill() |
| 245 | while self.processes: |
| 246 | self.processes.pop().wait() |
| 247 | |
| 248 | def format_valgrind_memcheck_errors(self) -> str: |
| 249 | for name, _, stderr in self.full_stdouts_stderrs: |