Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 57421 - distcc-config fails to list hosts if $HOME/hosts is a directory
Summary: distcc-config fails to list hosts if $HOME/hosts is a directory
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: x86 Linux
: High normal (vote)
Assignee: Markus Nigbur (RETIRED)
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2004-07-17 15:28 UTC by Stefan Sperling
Modified: 2004-08-27 04:04 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
patch that solves the problem (distcc-config-fix-hostlist.diff,476 bytes, patch)
2004-07-17 15:29 UTC, Stefan Sperling 		Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Stefan Sperling 2004-07-17 15:28:27 UTC 
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 Stefan Sperling 2004-07-17 15:29:02 UTC 
Created attachment 35654 [details, diff]
patch that solves the problem
Comment 2 Lisa Seelye (RETIRED) gentoo-dev 2004-08-16 09:31:47 UTC 
Markus, can you take care of this?
Comment 3 Markus Nigbur (RETIRED) gentoo-dev 2004-08-27 04:04:39 UTC 
fixed.