In the past, when the magma repository directory was missing I used to get a MagmaEnvironmentError, I now get an InvalidDirectoryError.
This indicates to me that magma is nolonger explicitly trapping this case and handling it cleanly.
best regards
Keith
magma@lists.squeakfoundation.org