[ref_impl_eiffel] [400] Fix a postcondition in SHARED_RESOURCES.directory_at, which wrongly failed if the user specified a directory separator at the end of a repository path.

Revision: 400
Author: peter.gummer

Log Message: