Как отключить локальный сервер разработки Google App Engine из командной строки?

Я запустил локальный сервер приложений GAE ( dev_appserver.py) из Eclipse, после чего Eclipse разбился. Поэтому мне пришлось убить Eclipse и перезапустить его. Однако при перезапуске Eclipse он потерял соединение с все еще работающим сервером GAE, и я не могу понять, как его отключить.