@echo off
set /p PID=<pid.txt
if "%PID%"=="" (
	echo no PID file
	pause
	exit /b 1
)
taskkill /f /PID %PID%
del pid.txt
pause