From 3d7281d21cb81562fcaf5df3af204954fb94beb5 Mon Sep 17 00:00:00 2001
From: lfield <lfield@cern.ch>
Date: Fri, 26 Oct 2018 15:29:02 +0200
Subject: [PATCH] Removed extra global defs and added chmod

---
 html/user/server_status.php | 3 ---
 py/Boinc/setup_project.py   | 6 +++---
 2 files changed, 3 insertions(+), 6 deletions(-)

diff --git a/html/user/server_status.php b/html/user/server_status.php
index d4586afff3..2387362fb1 100644
--- a/html/user/server_status.php
+++ b/html/user/server_status.php
@@ -186,9 +186,6 @@ function show_status_html($x) {
     }
     end_table();
 
-    global $server_version;
-    global $git_commit;
-
     if ( isset($server_version) && isset($git_commit) ) {
         echo "Server version: $server_version (<a href=https://github.com/BOINC/boinc/commit/$git_commit>$git_commit)</a>)<br>";
     }
diff --git a/py/Boinc/setup_project.py b/py/Boinc/setup_project.py
index d322822773..ff968e87da 100644
--- a/py/Boinc/setup_project.py
+++ b/py/Boinc/setup_project.py
@@ -353,14 +353,14 @@ def install_boinc_files(dest_dir, install_web_files, install_server_files):
             content = '''<?php
 global $git_commit;
 global $server_version;
-$git_commit = {commit}
-$server_version = {version}
+$git_commit = "{commit}";
+$server_version = "{version}";
 
-\?>
 '''.format(commit=commit, version=version)
             f = open(os.path.join(dest_dir, 'release.inc'), 'w')
             f.write(content)
             f.close()
+            os.chmod(os.path.join(dest_dir, 'release.inc'), 0o644)
         except Exception, e:    
             print 'Not running from git source, no version or commit detected.'