diff --git a/bin/patchserver b/bin/patchserver old mode 100644 new mode 100755