added get_pid_list() function
Merge branch 'master' of github.com:marwano/utile