Debugger terminate process button does not work with 3.7.2 server

[martinmcclure]

Due to what appears to be a bugfix in the 3.7.2 server, the debugger terminate process button does not terminate the process, but restarts it.