How to shutdown Google App Engine's local dev server from the command line?

Question

I have run the local GAE app server (dev_appserver.py) from Eclipse and then Eclipse crashed. So I had to kill Eclipse and restart it. However, when Eclipse restarted, it lost connection to the still running GAE server and I cannot figure how to shut it down.

Answer 1

You have to kill the process of the devserver. This is os dependent. On linux use:

ps aux| grep java 
kill -9 <process id>

On windows you can use tasklist and taskkill.

Answer 2

I found (one Windows XP) that if I started the local server using ant, and then tried to kill it with ^C, it wouldn't kill JAVA.EXE,

but when I start the server using a small batch file reading "%appEngine_home%\bin\dev_appserver.cmd war", when I press ^C it kills it.