settings_json = json.dumps (js_env, separators=(',',':'))
env ['settings_json' ] = settings_json
# compute plugin-specific initialization
settings_json = json.dumps (js_env, separators=(',',':'))
env ['settings_json' ] = settings_json
# compute plugin-specific initialization