Rmprocess command is simplified. pids command line argument is a comma separated list of process IDs.