wzebrowski commited on
Commit
d8a79f0
·
1 Parent(s): 421808f

Update backend/start.sh

Browse files
Files changed (1) hide show
  1. backend/start.sh +10 -0
backend/start.sh CHANGED
@@ -52,6 +52,16 @@ if [ -n "$SPACE_ID" ]; then
52
  kill $webui_pid
53
  fi
54
 
 
 
 
 
 
 
 
 
 
 
55
  export WEBUI_URL=${SPACE_HOST}
56
  fi
57
 
 
52
  kill $webui_pid
53
  fi
54
 
55
+ if [ -n "$OAUTH_CLIENT_ID" ]; then
56
+ echo "OAuth client ID provided, configuring for OAuth"
57
+ export OPENID_CLIENT_ID=$OAUTH_CLIENT_ID
58
+ export OPENID_CLIENT_SECRET=$OAUTH_CLIENT_SECRET
59
+ export OPENID_SCOPE=$OAUTH_SCOPES
60
+ export OPENID_PROVIDER_URL=${OPENID_PROVIDER_URL}/.well-known/openid-configuration
61
+ export OPENID_PROVIDER_NAME="Hugging Face"
62
+ fi
63
+
64
+
65
  export WEBUI_URL=${SPACE_HOST}
66
  fi
67