> I work in an environment, where servers are administered by people
> with different user names and identical uid (0).
Multiple users with same uid is orthodox indeed. Just out of curiosity -
what environment is this, if it's not a secret?
> The usage of HOME environment variable (if set) is IMO the right,
> standard and faster way to get_home_path().
As a side note I personally think that considering $HOME environment
variable is not such a bad idea. However I think we should make sure
first that this is really a bug that is relatively easy to reproduce in
real-world environments, a not just a hack for single misconfigured
system.
--
Best regards,
Aleksander Alekseev