Play Frameworkを動かすためのバッチ

バッチ化しておくことで起動時のオプション指定などを省略することができます。

reboot.bat

@echo off
if exist RUNNING_PID (call :kill) else echo プロセスが存在しません。
echo サーバーを再起動します。
run.bat
exit /b

:kill
echo サーバーを停止します。
for /f %%i in (RUNNING_PID) do taskkill /f /pid %%i
del RUNNING_PID

run.bat

@echo off
set _JAVA_OPTIONS="-Dfile.encoding=utf-8"
play start