git-annex-5.20140221: Utility/winprocess.c

#include <windows.h>

void terminatepid (DWORD pid) {
	HANDLE h;
	h = OpenProcess(PROCESS_TERMINATE, 0, pid);
	if (h != NULL) {
		TerminateProcess(h, 1);
	}
	CloseHandle(h);
}