linny-r 1.1.5 → 1.1.7

package/README.md

@@ -44,23 +44,17 @@ so in all commands you should replace this with the actual directory path.
 On a Windows machine you may choose something like `C:\Users\xyz\Documents\Linny-R`,
 and on a macOS machine probably `/Users/xyz/Linny-R`.
 
-To install Linny-R in this directory, type at the command line prompt: 
+To install Linny-R in this directory, first create it:
 
-``npm install --prefix WORKING_DIRECTORY linny-r``
+``mkdir WORKING_DIRECTORY``
 
-`WORKING_DIRECTORY` should now contain a new sub-directory `node_modules`, 
-and two JSON files `package.json` and `package-lock.json` that should **not** be removed,
-or you will have to re-install Linny-R.
+then change to it:
 
-After installation has been completed, `WORKING_DIRECTORY` will also contain a script file
-to facilitate (single click) launch: on a macOS machine the shell script `linny-r.command`,
-on a Windows machine the batch script `linny-r.bat`. By default, this script file contains
-two commands: change to the Linny-R directory and then tell Node.js to launch the
-start the Linny-R server. When configuring Linny-R for a network environment
-where individual users each have their personal work space (e.g., a virtual drive U:),
-you must edit the script file, adding the argument `workspace=path/to/workspace` to the
-`node` command. This will instruct Linny-R to create the `user` directory in this workspace
-directory instead of the Linny-R directory.
+``cd WORKING_DIRECTORY``
+
+and then type at the command line prompt: 
+
+``npm install --prefix . linny-r``
 
 After installation has completed, `WORKING_DIRECTORY` should have this directory tree structure:
 
@@ -84,11 +78,22 @@ WORKING_DIRECTORY
           +-sounds
 </pre>
 
+`WORKING_DIRECTORY` should contain two JSON files `package.json` and `package-lock.json`
+that should **not** be removed, or you will have to re-install Linny-R. It should also contain
+a script file to facilitate (single click) launch: on a macOS machine the shell script `linny-r.command`,
+on a Windows machine the batch script `linny-r.bat`. By default, this script file contains
+two commands: first change to the Linny-R directory and then tell Node.js to launch the
+start the Linny-R server.
+
+**NOTE:** When configuring Linny-R for a network environment where individual users
+each have their personal work space (e.g., a virtual drive U:), you must edit this script file,
+adding the argument `workspace=path/to/workspace` to the `node` command.
+This will instruct Linny-R to create the `user` directory in this workspace directory
+instead of the Linny-R directory.
+
 The `linny-r` directory should contain this file `README.md`,
 the files `server.js` and `console.js` that will be run by Node.js,
-and the sub-directory `static`. 
-
-The `static` directory should contain three HTML files: 
+and the sub-directory `static`. This `static` directory should contain three HTML files: 
 
 * `index.html` (the browser-based GUI) 
 * `show-png.html` (to render SVG diagrams as PNG images)
@@ -155,31 +160,21 @@ If you reach this stage, Linny-R will be able to run LP_solve.
 
 ### Running Linny-R
 
-Open the Command Line Interface (CLI) of your computer.
-On macOS, open `Terminal`, change to your `WORKING_DIRECTORY` and type:
+Open the Command Line Interface (CLI) of your computer, change to your `WORKING_DIRECTORY` and type:
 
-``node node_modules/linny-r/server``
+``linny-r``
 
-On Windows, open `Command Prompt`, change to your `WORKING_DIRECTORY` and type:
-
-``node node_modules\linny-r\server``
-
-The response should be something similar to:
+This response should be something similar to:
 
 <pre>
 Node.js server for Linny-R version 1.0
-Node.js version: v18.9.0
-</pre>
-
-followed by some data on your Linny-R configuration.
-The last line will be something like:
-
-<pre>
-Listening at: http://127.0.0.1:5050
+Node.js version: v18.10.0
+... etc.
 </pre>
 
-Open your web browser and navigate to the given URL, which by default will be http://127.0.0.1:5050.
-The Linny-R GUI should then appear in your browser window, 
+Meanwhile, your default web browser should have opened a tab for the local server URL,
+which by default will be http://127.0.0.1:5050.
+The Linny-R GUI should show in your browser window, 
 while in the CLI you should see a long series of server log messages like:
 
 <pre>

package/console.js

@@ -42,22 +42,48 @@ SOFTWARE.
 global.NODE = true;
 
 const
-    VERSION_NUMBER = '1.1.2',
     WORKING_DIRECTORY = process.cwd(),
     path = require('path'),
-    MAIN_DIRECTORY = path.join(WORKING_DIRECTORY, 'node_modules', 'linny-r'),
+    MODULE_DIRECTORY = path.join(WORKING_DIRECTORY, 'node_modules', 'linny-r'),
     // Load the required Node.js modules
+    child_process = require('child_process'),
     fs = require('fs'),
     os = require('os'),
     readline = require('readline'),
     // Get the platform name (win32, macOS, linux) of the user's computer
-    PLATFORM = os.platform();
+    PLATFORM = os.platform(),
+    // Get version of the installed Linny-R package 
+    VERSION_INFO = getVersionInfo();
+    
+function getVersionInfo() {
+  // Reads version info from `package.json`
+  const info = {
+      current: 0,
+      current_time: 0,
+      latest: '0',
+      latest_time: 0,
+      up_to_date: false
+    };
+  try {
+    info.current = require('./package.json').version;
+  } catch(err) {
+    console.log('ERROR: Failed to read package.json');
+    console.log(err);
+    console.log('This indicates that Linny-R is not installed properly.');
+    process.exit();    
+  }
+  // NOTE: unlike the Linny-R server, the console does not routinely
+  // check whether version is up-to-date is optional because this is
+  // a time-consuming action that would reduce multi-run performance.
+  // See command line options (much further down)
+  console.log('\nLinny-R Console version', info.current);
+  return info;
+}
 
-// Immediately output some configuration information to the console
-console.log('\nNode.js Linny-R console version', VERSION_NUMBER);
+// Output some configuration information to the console
 console.log('Node.js version:', process.version);
 console.log('Platform:', PLATFORM, '(' + os.type() + ')');
-console.log('Main directory:', MAIN_DIRECTORY);
+console.log('Module directory:', MODULE_DIRECTORY);
 console.log('Working directory:', WORKING_DIRECTORY);
 
 const
@@ -86,6 +112,7 @@ Usage:  node console [options]
 Possible options are:
   channel=[identifier]  will start listening at the specified channel
                         (FUTURE OPTION)
+  check                 will report whether current version is up-to-date
   model=[path]          will load model file in [path]
   module=[name@repo]    will load model [name] from repository [repo]
                         (if @repo is blank, repository "local host" is used)
@@ -125,9 +152,8 @@ function checkNodeModule(name) {
 // XML-related functions defined in `linny-r-utils.js`
 global.XML_PARSER = new DOMParser();
 
-// @@TO DO: Check for Linny-R software updates
-// For now, simply set the version number 
-global.LINNY_R_VERSION = '1.1.0';
+// Set the current version number 
+global.LINNY_R_VERSION = VERSION_INFO.current;
 
 ///////////////////////////////////////////////////////////////////////////////
 //     Class definitions must precede instatiation of Linny-R components     //
@@ -675,17 +701,21 @@ function commandLineSettings() {
   // Sets default settings, and then checks the command line arguments
   const settings = {
       cli_name: (PLATFORM.startsWith('win') ? 'Command Prompt' : 'Terminal'),
-      run: false,
+      check: false,
       preferred_solver: '',
+      run: false,
       solver: '',
       solver_path: '',
-      user_dir: path.join(WORKING_DIRECTORY, 'user')
+      user_dir: path.join(WORKING_DIRECTORY, 'user'),
+      verbose: false
     };
   let show_usage = process.argv.length < 3;
   for(let i = 2; i < process.argv.length; i++) {
     const lca = process.argv[i].toLowerCase();
     if(lca === 'help' || lca === '?' || lca.startsWith('-')) {
       show_usage = true;
+    } else if(lca === 'check') {
+      settings.check = true;
     } else if(lca === 'run') {
       settings.run = true;
     } else if(lca === 'verbose') {
@@ -767,6 +797,8 @@ function commandLineSettings() {
     console.log(usage);
     process.exit();
   }
+  // Perform version check only if asked for
+  if(settings.check) checkForUpdates();
   // Check whether MILP solver(s) and Inkscape have been installed
   const path_list = process.env.PATH.split(path.delimiter);
   let gurobi_path = '',
@@ -876,6 +908,35 @@ function createWorkspace() {
   return ws;
 }
 
+function checkForUpdates() {
+  // Check for newer version of the Node.js package `linny-r`
+  // NOTE: use `info` as shorthand for the global constant
+  const info = VERSION_INFO;
+  try {
+    const
+        json = child_process.execSync('npm show linny-r time version --json'),
+        obj = JSON.parse(json);
+    info.latest = obj.version;
+    info.latest_time = new Date(Date.parse(obj.time[info.latest]));
+    info.current_time = new Date(Date.parse(obj.time[info.current]));
+    info.up_to_date = info.current === info.latest;
+  } catch(err) {
+    // `latest` = 0 indicates that version check failed
+    info.latest = 0;
+  }
+  if(!info.latest) {
+    console.log('WARNING: Could not check for updates');
+  } else if(!info.up_to_date) {
+    console.log('UPDATE: Version ' + info.latest + ' was released on ' +
+        info.latest_time.toString());
+  } else {
+    console.log('Version ' + info.latest + ' is up-to-date (released on ' +
+        info.latest_time.toString() + ')');    
+  }
+  // Return TRUE if current version is the latest one
+  return info.up_to_date;
+}
+
 // Initialize the solver
 const SOLVER = new MILPSolver(SETTINGS, WORKSPACE);
 /*

package/package.json

@@ -1,10 +1,10 @@
 {
   "name": "linny-r",
-  "version": "1.1.5",
+  "version": "1.1.7",
   "description": "Executable graphical language with WYSIWYG editor for MILP models",
   "main": "server.js",
   "scripts": {
-    "post-install": "post-install.js",
+    "postinstall": "node post-install.js",
     "test": "echo \"Error: no test specified\" && exit 1"
   },
   "dependencies": {

package/post-install.js

@@ -76,7 +76,7 @@ try {
     // Only write the script content if the file it does not yet exist
     console.log('Creating launch script:', sp);
     let code = lines.join(os.EOL);
-    if(PLATFORM.startsWith('win')) code = code.replace('#', '::');
+    if(PLATFORM.startsWith('win')) code = code.replaceAll('#', '::');
     fs.writeFileSync(sp, code, 'utf8');
   }
 } catch(err) {

package/server.js

@@ -38,17 +38,11 @@ SOFTWARE.
 ///////////////////////////////////////////////////////////////////////////////
 
 const
-    // The version number of this Linny-R server in Node.js
-    VERSION_NUMBER = '1.1.2',
-    
-    // The URL of the official Linny-R website (with the most recent release)
-    PUBLIC_LINNY_R_URL = 'https://sysmod.tbm.tudelft.nl/linny-r',
-
     // The current working directory (from where Node.js was started) is
     // assumed to be the main directory
     path = require('path'),
     WORKING_DIRECTORY = process.cwd(),
-    MAIN_DIRECTORY = path.join(WORKING_DIRECTORY, 'node_modules', 'linny-r'),
+    MODULE_DIRECTORY = path.join(WORKING_DIRECTORY, 'node_modules', 'linny-r'),
     
     // Get the required built-in Node.js modules
     child_process = require('child_process'),
@@ -59,16 +53,57 @@ const
     os = require('os'),
 
     // Get the platform name (win32, macOS, linux) of the user's computer
-    PLATFORM = os.platform();    
+    PLATFORM = os.platform(),    
+
+    // Get version of the installed Linny-R package 
+    VERSION_INFO = getVersionInfo();
+    
+function getVersionInfo() {
+  // Reads version info from `package.json`
+  const info = {
+      current: 0,
+      current_time: 0,
+      latest: '0',
+      latest_time: 0,
+      up_to_date: false
+    };
+  try {
+    info.current = require('./package.json').version;
+  } catch(err) {
+    console.log('ERROR: Failed to read package.json');
+    console.log(err);
+    console.log('This indicates that Linny-R is not installed properly.');
+    process.exit();    
+  }
+  try {
+    const
+        json = child_process.execSync('npm show linny-r time version --json'),
+        obj = JSON.parse(json);
+    info.latest = obj.version;
+    info.latest_time = new Date(Date.parse(obj.time[info.latest]));
+    info.current_time = new Date(Date.parse(obj.time[info.current]));
+    info.up_to_date = info.current === info.latest;
+  } catch(err) {
+    // `latest` = 0 indicates that version check failed
+    info.latest = 0;
+  }
+  console.log('\nNode.js server for Linny-R version', info.current);
+  if(!info.latest) {
+    console.log('WARNING: Could not check for updates');
+  } else if(!info.up_to_date) {
+    console.log('UPDATE: Version ' + info.latest + ' was released on ' +
+        info.latest_time.toString());
+  }
+  return info;
+}
 
-// Immediately output some configuration information to the console
-console.log('\nNode.js server for Linny-R version', VERSION_NUMBER);
+// Output some configuration information to the console
 console.log('Node.js version:', process.version);
 console.log('Platform:', PLATFORM, '(' + os.type() + ')');
-console.log('Main directory:', MAIN_DIRECTORY);
+console.log('Module directory:', MODULE_DIRECTORY);
 console.log('Working directory:', WORKING_DIRECTORY);
 
-// Only then require the Node.js modules that are not "built-in"
+// Only now require the Node.js modules that are not "built-in"
 
 const
     { DOMParser } = checkNodeModule('@xmldom/xmldom');
@@ -83,12 +118,10 @@ function checkNodeModule(name) {
   }
 }
 
+
 // Load class MILPSolver
 const MILPSolver = require('./static/scripts/linny-r-milp.js');
 
-///////////////////////////////////////////////////////////////////////////////
-//                Code executed at start-up continues here                   //
-///////////////////////////////////////////////////////////////////////////////
 
 // Default settings are used unless these are overruled by arguments on the
 // command line. Possible arguments are:
@@ -135,54 +168,25 @@ if(SETTINGS.launch) {
         });
 }
 
-// Version check & update functionality
-// ====================================
-// This section of code implements server responses to requests made by the
-// browser immediately after loading the GUI page (`index.html`), or when the
-// user clicks on the link "Version ..." below the Linny-R logo in the upper
-// left corner of the GUI page.
-
-const
-
-VERSION_MESSAGE = `<!DOCTYPE html>
-<html lang="en-US">
-<head>
-  <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-  <title>Linny-R version information</title>
-  <link rel="shortcut icon" type="image/png" href="../images/icon.png">
-  <style>
-    body {
-      font-family: sans-serif;
-      font-size: 16px;
-    }
-    #linny-r-logo {
-      height: 40px;
-      margin-bottom: -10px;
-    }
-  </style>
-</head>
-<body>
-  <img id="linny-r-logo" src="../images/logo.png">
-  %1%
-</body>
-</html>`,
-
-NO_INTERNET_MESSAGE = `
-<h3>Version check failed</h3>
-<p>
-  No contact with the on-line Linny-R server --
-  please check your internet connection.
-</p>`,
-
-UP_TO_DATE_MESSAGE = `
-<h3>Version JS-%1% is up-to-date</h3>
-<p>Released on %2%</p>`,
+// Version check functionality
+// ===========================
+// This section of code implements server responses to the request made
+// by the browser immediately after loading the GUI page (`index.html`)
 
-DOWNLOAD_MESSAGE = `
-<h3>Latest version is %1%</h3>
-<p>Released on %2%</p>`,
+function autoCheck(res) {
+  // Serves a string with the current version number plus info on a
+  // newer release if this is available
+  let check = VERSION_INFO.current + '|';
+  if(VERSION_INFO.up_to_date) {
+    check += 'up-to-date';
+  } else {
+    check += VERSION_INFO.latest + '|' + VERSION_INFO.latest_time;
+  }
+  servePlainText(res, check);
+}
 
-SHUTDOWN_MESSAGE = `<!DOCTYPE html>
+// HTML page to show then the server is shut down by the user
+const SHUTDOWN_MESSAGE = `<!DOCTYPE html>
 <html lang="en-US">
 <head>
   <meta http-equiv="content-type" content="text/html; charset=UTF-8">
@@ -197,12 +201,14 @@ SHUTDOWN_MESSAGE = `<!DOCTYPE html>
 </head>
 <body>
   <h3>Linny-R server (127.0.0.1) is shutting down</h3>
-  <p>To upgrade and/or restart Linny-R, please switch to your
-      ${SETTINGS.cli_name} window and there at the prompt:
-  <p>To upgrade to a newer version of Linny-R, first type:</p>
+  <p>To restart Linny-R, switch to your ${SETTINGS.cli_name} window
+     and there at the prompt` +
+(VERSION_INFO.up_to_date ? '' : `
+  first type:</p>
   <p>&nbsp;&nbsp;<tt>npm update linny-r</tt><p>
-  <p>To restart the server, type:</p>
-  <p>&nbsp;&nbsp;<tt>node server</tt></p>
+  to upgrade to Linny-R version ${VERSION_INFO.latest}, and then`) +
+` type:</p>
+  <p>&nbsp;&nbsp;<tt>node node_modules\linny-r\server</tt></p>
   <p>
     Then switch back to this window, and click
     <button type="button"
@@ -213,104 +219,6 @@ SHUTDOWN_MESSAGE = `<!DOCTYPE html>
 </body>
 </html>`;
 
-
-function compareVersions(v1, v2) {
-  // Robust comparison of version numbers
-  nrs1 = (v1 + '.0.0.0').split('.');
-  nrs2 = (v2 + '.0.0.0').split('.');
-  for(i = 0; i < 4; i++) {
-    nrs1[i] = nrs1[i].padStart(6, '0');
-    nrs2[i] = nrs2[i].padStart(6, '0');
-  }
-  v1 = nrs1.slice(0, 4).join('.');
-  v2 = nrs2.slice(0, 4).join('.');
-  if(v1 > v2) return 1;
-  if(v1 < v2) return -1;
-  return 0;
-}
-
-function checkVersion(res, version) {
-  // Check whether current version is the most recent
-  console.log('Check version:', version);
-  if(!version) {
-    serveHTML(res, '<h3>No version number specified</h3>');
-    return;
-  }
-  version = version.split('-').pop();
-  getTextFromURL(PUBLIC_LINNY_R_URL + '/check-version/?info',
-      // The `on_ok` function
-      (data, res) => {
-          const
-              info = data.split('|');
-          // Should be [version, release date]
-          if(info.length === 2) {
-            if(compareVersions(version, info[0]) >= 0) {
-              message = UP_TO_DATE_MESSAGE.replace(
-                  '%1%', info[0]).replace('%2%', info[1]);
-            } else {
-              message = DOWNLOAD_MESSAGE.replace(
-                  '%1%', info[0]).replace('%2%', info[1]);
-            }
-            serveHTML(res, VERSION_MESSAGE.replace('%1%', message));
-          }
-        },
-      // The `on_error` function
-      (error, res) => {
-          console.log(error);
-          serveHTML(res, NO_INTERNET_MESSAGE);
-        },
-      // The response object
-      res);
-}
-
-function autoCheck(res) {
-  // Compares the version number in the static file `index.html`
-  // with the version number in the corresponding file on the official
-  // Linny-R website, and serves a status string that indicates whether
-  // a newer release is available
-  const gpath = path.join(MAIN_DIRECTORY, 'static', 'index.html');
-  // Read the globals script
-  fs.readFile(gpath, 'utf8', (err, data) => {
-      let v_match = null;
-      if(err) {
-        console.log('WARNING: Failed to read file', gpath);
-      } else {
-        // Extract the version number
-        v_match = data.match(/LINNY_R_VERSION = '(.+?)'/);
-        if(!v_match) console.log('WARNING: No version number found');
-      }
-      if(!v_match) {
-        servePlainText(res,'no version');
-        return;
-      }
-      let version = v_match[1];
-      // Get the current `index.html` file from the official Linny-R server 
-      getTextFromURL(PUBLIC_LINNY_R_URL + '/check-version/?info',
-          // The `on_ok` function: compare versions and return status
-          (data, res) => {
-              let check = 'no match';
-              const
-                  info = data.split('|');
-              // Should be [version, release date]
-              if(info.length === 2) {
-                if(compareVersions(version, info[0]) >= 0) {
-                  check = 'up-to-date';
-                } else {
-                  check = info[0] + '|' + info[1];
-                }
-              }
-              servePlainText(res, check);
-            },
-          // The `on_error` function
-          (error, res) => {
-              console.log(error);
-              servePlainText(res, 'no match');
-            },
-          // The response object
-          res);       
-    });
-}
-
 // Repository functionality
 // ========================
 // For repository services, the Linny-R JavaScript application communicates with
@@ -1111,10 +1019,6 @@ function processRequest(req, res, cmd, data) {
     SERVER.close();
   } else if(cmd === '/auto-check') {
     autoCheck(res);
-  } else if(cmd === '/auto-update') {
-    autoUpdate(res);
-  } else if(cmd === '/check-version') {
-    checkVersion(res, (new URLSearchParams(data)).get('v'));
   } else if(cmd === '/repo/') {
     repo(res, new URLSearchParams(data));
   } else if(cmd === '/load-data/') {
@@ -1172,7 +1076,7 @@ function serveStaticFile(res, path) {
     console.log('Static file:', path);
     path = '/static' + path;
   }
-  fs.readFile(MAIN_DIRECTORY + path, (err, data) => {
+  fs.readFile(MODULE_DIRECTORY + path, (err, data) => {
       if(err) {
         console.log(err);
         res.writeHead(404);
@@ -1536,7 +1440,7 @@ function createLaunchScript() {
       // Only write the script content if the file it does not yet exist
       console.log('Creating launch script:', sp);
       let code = lines.join(os.EOL);
-      if(PLATFORM.startsWith('win')) code = code.replace('#', '::');
+      if(PLATFORM.startsWith('win')) code = code.replaceAll('#', '::');
       fs.writeFileSync(sp, code, 'utf8');
     }
   } catch(err) {

package/static/index.html

@@ -54,16 +54,17 @@ SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
   <!-- NOTE: do not display the page until after software update check -->
   <style>body { display: none; }</style>
   <script>
+    // Create global variables
     var
       // NODE = false indicates that modules need not export their properties
       NODE = false,
       // Version number and release date
-      LINNY_R_VERSION = '1.1.2',
-      VERSION_RELEASE_DATE = '2022-10-11 10:25',
+      LINNY_R_VERSION = '0',
+      VERSION_RELEASE_DATE = 0,
       // Linny-R server hosting public channels
       PUBLIC_LINNY_R_URL = 'https://sysmod.tbm.tudelft.nl/linny-r',
       // Create the XML parser
-      XML_PARSER = new DOMParser();
+      XML_PARSER = new DOMParser(),
       // NOTE: global variables will be initialized when page has loaded
       // The controller object (User Interface)
       UI = null,
@@ -86,14 +87,14 @@ SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
       // Stack for undo/redo operations
       UNDO_STACK = null,
       // The virtual machine
-      VM = null;
+      VM = null,
     
     // Load audio files
-    var SOUNDS = {
-        notification: new Audio('sounds/notification.wav'),
-        warning: new Audio('sounds/warning.wav'),
-        error: new Audio('sounds/error.wav')
-      };
+      SOUNDS = {
+          notification: new Audio('sounds/notification.wav'),
+          warning: new Audio('sounds/warning.wav'),
+          error: new Audio('sounds/error.wav')
+        };
       
       
     function loadLinnyR() {
@@ -149,14 +150,17 @@ SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
             console.log('Version check:', data);
             const info = data.split('|');
             if(info.length > 1) {
-              UI.check_update_modal.element('msg').innerHTML = [
-                  '<a href="https://sysmod.tbm.tudelft.nl/linny-r/docs/?15" ',
-                  'target="_blank">Version <strong>',
-                  info[0], '</strong></a> released on ', info[1],
-                  ' can be installed.'].join('');
-              UI.check_update_modal.show();
-              UI.check_update_modal.element('buttons').style.display = 'block';
-            } else if(data.trim() !== 'up-to-date') {
+              LINNY_R_VERSION = info[0];
+              if(info[1] !== 'up-to-date') {
+                UI.check_update_modal.element('msg').innerHTML = [
+                    '<a href="https://sysmod.tbm.tudelft.nl/linny-r/docs/?15" ',
+                    'target="_blank">Version <strong>',
+                    info[1], '</strong></a> released on ', info[2],
+                    ' can be installed.'].join('');
+                UI.check_update_modal.show();
+                UI.check_update_modal.element('buttons').style.display = 'block';
+              }
+            } else {
               UI.warn('Version check failed: "' + data + '"');
             }
           })