webapp: changing how the "other_settings/mask_files" data is queried. fixes #472
webapp: changing how the "other_settings/mask_files" data is queried. fixes #472

DrXyzzy/smc,tscholl2/smc,sagemathinc/smc,tscholl2/smc,tscholl2/smc,sagemathinc/smc,DrXyzzy/smc,DrXyzzy/smc,DrXyzzy/smc,tscholl2/smc,tscholl2/smc,sagemathinc/smc,sagemathinc/smc