jenkins-bot has submitted this change and it was merged.
Change subject: Make family file generator work with broken user_config ......................................................................
Make family file generator work with broken user_config
This reverts the removal of os.path.exists monkey patching that was done in r10886 (git sha1 971d1150f66ddde5ea53def0c7e8f0e1edbd763c), which means config.py will not find any user-config.py file. However, we also restore the functionality after importing config, because importing wikipedia requires a working os.path.exists.
Change-Id: I050d050dee536d0c44589651bff4dce866c50942 --- M generate_family_file.py 1 file changed, 7 insertions(+), 1 deletion(-)
Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified
diff --git a/generate_family_file.py b/generate_family_file.py index 06464c9..05b264f 100644 --- a/generate_family_file.py +++ b/generate_family_file.py @@ -32,10 +32,16 @@ import wikipediatools wikipediatools.get_base_dir = lambda: '.'
-# Set some config settings +# Set some config settings, but monkey-patch os.path.exists to prevent loading user_config.py +import os +oldexists = os.path.exists +os.path.exists = lambda x: False + import config config.mylang = 'en'
+os.path.exists = oldexists + # Now we can boot the framework import wikipedia import family