(args: argparse.Namespace, socket_path: Path, process: subprocess.Popen[str])
| 590 | |
| 591 | |
| 592 | def stop_server(args: argparse.Namespace, socket_path: Path, process: subprocess.Popen[str]) -> None: |
| 593 | try: |
| 594 | try: |
| 595 | subprocess.run( |
| 596 | [args.jcode, "--socket", str(socket_path), "server", "stop"], |
| 597 | capture_output=True, |
| 598 | text=True, |
| 599 | env=benchmark_environment(socket_path), |
| 600 | timeout=20, |
| 601 | ) |
| 602 | except subprocess.TimeoutExpired: |
| 603 | pass |
| 604 | terminate_process(process) |
| 605 | finally: |
| 606 | socket_path.unlink(missing_ok=True) |
| 607 | |
| 608 | |
| 609 | def summarize_case(case: BenchmarkCase, trials: list[dict[str, Any]]) -> dict[str, Any]: |
no test coverage detected