Bug 57421 - distcc-config fails to list hosts if $HOME/hosts is a directory
Bug#: 57421 Product:  Gentoo Linux Version: unspecified Platform: x86
OS/Version: Linux Status: RESOLVED Severity: normal Priority: P2
Resolution: FIXED Assigned To: pYrania@gentoo.org Reported By: stsp@binarchy.net
Component: Applications
URL: 
Summary: distcc-config fails to list hosts if $HOME/hosts is a directory
Keywords:  
Status Whiteboard: 
Opened: 2004-07-17 15:28 0000
Description:   Opened: 2004-07-17 15:28 0000 
If $HOME/hosts is a directory, distcc-config --get-hosts prints the directory's
name instead of the host list.

The script uses the function os.path.exists() to check whether the file
$HOME/hosts exists. Using os.path.isfile() instead fixes the issue.

------- Comment #1 From Stefan Sperling 2004-07-17 15:29:02 0000 ------- 
Created an attachment (id=35654) [details]
patch that solves the problem

------- Comment #2 From Lisa Seelye (RETIRED) 2004-08-16 09:31:47 0000 ------- 
Markus, can you take care of this?

------- Comment #3 From Markus Nigbur (RETIRED) 2004-08-27 04:04:39 0000 ------- 
fixed.