Rebranded SHARELATEX_IS_SERVER_PRO env variable

GitOrigin-RevId: 4e728fa7da5ea6b0132452865a3725ef86ed94da
This commit is contained in:
mserranom
2024-02-09 09:05:50 +00:00
committed by Copybot
parent 171c05d697
commit 5412e38cb5
2 changed files with 2 additions and 2 deletions
@@ -1,7 +1,7 @@
#!/usr/bin/env bash
set -euo pipefail
if [[ "${SHARELATEX_IS_SERVER_PRO:-null}" == "true" ]]; then
if [[ "${OVERLEAF_IS_SERVER_PRO:-null}" == "true" ]]; then
environment="server-pro"
else
environment="server-ce"