give a hint towards Base.retry_load_extensions when an extension fa…

…ils to load (#48571)
JuliaLang · Feb 7, 2023 · e32e20c · e32e20c
1 parent b99cce5
commit e32e20c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/base/loading.jl b/base/loading.jl
@@ -1188,7 +1188,8 @@ function run_extension_callbacks(extid::ExtensionId)
         true
     catch
         # Try to continue loading if loading an extension errors
-        @error "Error during loading of extension $(extid.id.name) of $(extid.parentid.name)"
+        @error "Error during loading of extension $(extid.id.name) of $(extid.parentid.name), \
+                use `Base.retry_load_extensions()` to retry."
         false
     end
     return succeeded