Don't save duplicated pids in the session file