From d6c1b971aa6473a851421e003d63e012c9afe064 Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Mon, 13 Nov 2017 17:57:22 -0800
Subject: [PATCH] Add script to get versions; don't show VBox button if no VBox
 version

---
 html/ops/get_versions.php | 10 ++++++++++
 html/user/download.php    | 18 +++++++++++-------
 2 files changed, 21 insertions(+), 7 deletions(-)
 create mode 100755 html/ops/get_versions.php

diff --git a/html/ops/get_versions.php b/html/ops/get_versions.php
new file mode 100755
index 0000000000..9cdab6ec6e
--- /dev/null
+++ b/html/ops/get_versions.php
@@ -0,0 +1,10 @@
+#! /usr/bin/env php
+<?php
+
+// get XML client version list from BOINC server
+
+file_put_contents(
+    "../user/versions.xml",
+    file_get_contents("http://boinc.berkeley.edu/download_all.php?xml=1")
+);
+?>
diff --git a/html/user/download.php b/html/user/download.php
index 9f1e06ae61..7cc0045ed4 100644
--- a/html/user/download.php
+++ b/html/user/download.php
@@ -179,13 +179,17 @@ function show_download_page($user) {
     ";
     $token = make_login_token($user);
     echo "<center><table border=0 cellpadding=20>\n";
-    table_row(
-        "",
-        download_button_vbox($v, $project_id, $token, $user),
-        "&nbsp;&nbsp;",
-        download_button($v, $project_id, $token, $user),
-        ""
-    );
+    if ($v->vbox_filename) {
+        table_row(
+            "",
+            download_button_vbox($v, $project_id, $token, $user),
+            "&nbsp;&nbsp;",
+            download_button($v, $project_id, $token, $user),
+            ""
+        );
+    } else {
+        table_row("", download_button($v, $project_id, $token, $user), "");
+    }
     echo "</table></center>\n";
     echo "<p><p>
         When the download is finished,