diff options
Diffstat (limited to 'frontend/bin/dev-server')
-rwxr-xr-x | frontend/bin/dev-server | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/bin/dev-server b/frontend/bin/dev-server index 4819033..3601105 100755 --- a/frontend/bin/dev-server +++ b/frontend/bin/dev-server @@ -1,6 +1,8 @@ #!/usr/bin/env bash set -euo pipefail +export IS_DEV_SERVER=1 + # Killing watchexec ourselves, it may not be done otherwise. function finish { if [ -n "${LIVE_SERVER_PID:-}" ]; then |