| 603 | } |
| 604 | |
| 605 | void stop_process(pid_type p) |
| 606 | { |
| 607 | #ifdef _WIN32 |
| 608 | HANDLE proc = OpenProcess(PROCESS_TERMINATE | SYNCHRONIZE, FALSE, p); |
| 609 | if (proc == nullptr) return; |
| 610 | TerminateProcess(proc, 138); |
| 611 | WaitForSingleObject(proc, 5000); |
| 612 | CloseHandle(proc); |
| 613 | #else |
| 614 | std::printf("killing pid: %d\n", p); |
| 615 | kill(p, SIGKILL); |
| 616 | #endif |
| 617 | } |
| 618 | |
| 619 | } // anonymous namespace |
| 620 |
no outgoing calls
no test coverage detected