diff --git a/service/devel/server_devel.sh b/service/devel/server_devel.sh old mode 100644 new mode 100755 diff --git a/service/prod/server.sh b/service/prod/server.sh old mode 100644 new mode 100755