On the command line, after entering play run
, there are a few ways that I have read about stopping the play server:
- You can press Ctrl+ D
- You can send a
SIGTERM
to the process, based off of theRUNNING_PID
(in production). - In Windows, you can manually kill the Java processes running (on the commandline probably with
taskkill
.
The problem is that #1 requires you to be on the same console, #2 requires you to know the process ID (which doesn't get written to a file in the development environment), and #3 can stop more than just the server.
Is there a way to kill a Play server in a non-production / development environment from another console (on Windows 7 or Windows 8)? Ideally, something like Ctrl+ D, but from a different console?