uwiger/gproc — pull request #49 by 0ctave (2013-12-02 16:42:00+00:00)
Title: Correct remove of globals on process DOWN

This fix was helped to remove a memory leak.
The leak was always on slave nodes, leader was ok. I found that leader was removing globals differently in `pid_is_DOWN` cast message, so I decided that is should be the same in `handle_info({'DOWN', ...`

Already tested on production. Please take a look if everything correct.