restart.txt for restarting server