diff --git a/Tools/run.server.sh b/Tools/run.server.sh
old mode 100755
new mode 100644