diff --git a/scripts/print_diagnostic_info.sh b/scripts/print_diagnostic_info.sh old mode 100644 new mode 100755 diff --git a/scripts/server.py b/scripts/server.py old mode 100755 new mode 100644