-
Committer:
Mikkel Kamstrup Erlandsen
-
Date:
2010-08-03 21:06:06 UTC
-
Revision ID:
kamstrup@delight-20100803210606-12r4f9sz6moah1hs
Check for name clashes between user extensions and system extensions and favor user extensions (logging a message about this when it happens)
Don't crash if we fail to initialize an extension