jader
committed
on 15 Nov 04
Fix bug #2156: change /tmp to /var/tmp