R中的Leaflet不能使用代理设置

Question

我正在使用以下代码段来准备图表。

library(leaflet)
df = read.csv('Locations.csv')
nclus = 3
set.seed(123)
res = kmeans(df[,c('Lat','Lon')], centers = nclus, )
df['center'] = res$cluster
pal <- colorFactor(rainbow(nclus), domain = 1:nclus)
leaflet(df) %>% 
  addCircles(color = ~pal(center))

我的df看起来像这样

                    Location      Lat      Lon center
1                nibm corner 18.47087 73.90004      3
2               mayur colony 18.50398 73.81617      1
3              deccan wheels 18.53221 73.84281      1
4             pashankar auto 18.54852 73.77301      2
5        khadi machine chowk 18.45231 73.89116      1
6 dominos pizza/bmc software 18.53679 73.83025      1

代码很简单。如果我在开放网络（没有代理服务器的互联网），它运作良好，但是当我在代理环境中运行代码片段时，我在空白图上得到点（背景中没有地图）

我检查了互联网是否在R会话中工作。它运作良好。我甚至尝试过以下文章并创建了环境变量，但没有用。

https://support.rstudio.com/hc/en-us/articles/200488488-Configuring-R-to-Use-an-HTTP-or-HTTPS-Proxy

请让我知道如何解决这个问题。

Leaflet因为它在代理环境中工作，如果我在浏览器中打开它。但是，如果我在Rstudio / Browser-shiny-app中通过R打开它，它就无法正常工作。