diff --git a/web/scripts/dev_run.sh b/web/scripts/dev_run.sh old mode 100644 new mode 100755