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