modal setup does not supports environment proxy

[donniexyz]

Summary

run modal setup in an environment that has to use proxy will fail with this error: "Could not connect to the Modal server" , even though http proxy has been set on environment variable

C:\> set HTTP_PROXY=http://127.0.0.1:3111
C:\> set HTTPS_PROXY=http://127.0.0.1:3111

There is a quick fix for this grpc_utils.py

Version

1.4.3

App ID

No response