[gobo-eiffel-develop] [review] XM_CATALOG_BOOTSTRAP_RESOLVER.Reserved_directory_path is not safe

[Jocelyn <li...@dj...>]

In the code of {XM_CATALOG_BOOTSTRAP_RESOLVER}.Reserved_directory_path
we have
            Result := Execution_environment.variable_value ("GOBO")
            Result := unix_file_system.pathname_from_file_system
(Result, file_system)

However `Execution_environment.variable_value ("GOBO")' can return a
Void value
and then the call to unix_file_system.pathname_from_file_system (Result,
file_system) will violate precondition of  `pathname_from_file_system'
or raise exception (if assertion are disabled).

Regards,
-- Jocelyn