void shut(pid_t pid) {
	EUID_ASSERT();

	ProcessHandle sandbox = pin_sandbox_process(pid);

	process_send_signal(sandbox, SIGTERM);

	// wait for not more than 11 seconds
	int monsec = 11;
	int killdone = 0;

	while (monsec) {
		sleep(1);
		monsec--;

		int monfd = process_open_nofail(sandbox, "cmdline");
		if (monfd < 0) {
			killdone = 1;
			break;
		}

		char c;
		ssize_t count = read(monfd, &c, 1);
		close(monfd);
		if (count == 0) {
			// all done
			killdone = 1;
			break;
		}
	}

	// force SIGKILL
	if (!killdone)
		process_send_signal(sandbox, SIGKILL);

	unpin_process(sandbox);
}
void shut(pid_t pid) {
	EUID_ASSERT();

	ProcessHandle sandbox = pin_sandbox_process(pid);

	process_send_signal(sandbox, SIGTERM);

	 
	int monsec = 11;
	int killdone = 0;

	while (monsec) {
		sleep(1);
		monsec--;

		int monfd = process_open_nofail(sandbox, "cmdline");
		if (monfd < 0) {
			killdone = 1;
			break;
		}

		char c;
		ssize_t count = read(monfd, &c, 1);
		close(monfd);
		if (count == 0) {
			 
			killdone = 1;
			break;
		}
	}

	 
	if (!killdone)
		process_send_signal(sandbox, SIGKILL);

	unpin_process(sandbox);
}