ok. I remove it, I prefer the way to have the ogcproxyUrl: '${ogcproxy_url}'   in gaGlobalOptions