linuxmint/Cinnamon — pull request #958 by mtwebster (2012-07-23 23:24:51+00:00)
Title: add function to return the cinnamon PID for debugging purposes

This can be a useful number to have. We can't retrieve the pid using glibtop in javascript.