lamp
ff7fd7e123
make reliable fetch and prevent crash add stop.bat using pid file although exit hook does not work (how to do graceful stop on windows?)
10 lines
125 B
Batchfile
10 lines
125 B
Batchfile
@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 |