[TOOLS] Fixed issue #34: process info not always correct in stop_process.sh