tree dfa465ecbbf3c7f603f469d1b02aaf80e481162f
parent b39031587246c0c2dfc21271c1bbfb37dbfc748f
author Guido van Rossum <guido@python.org> 1034872005 +0000
committer Guido van Rossum <guido@python.org> 1034872005 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4029288

Use tempfile.gettempdir() to get the temp directory rather than
hardcoding "/tmp".