Re: /tmp is emptied; /var/tmp/ is not