display version; update server version and runtime default

Author: rmashl

public_html/example.phtml

@@ -3234,8 +3234,8 @@ function download(filename, text) {
 
   <table class="foottab">
     <tr>
-      <td class="logo2"><p>Copyright &#169; 2014-2017.</p><p>All rights reserved.</p></td>
-      <td><img title="The Genome Institute" src="image/mgi_logo.1.png" alt="The Genome Institute"></td>
+      <td class="logo2"><p>Server version <?php $a=parse_ini_file('versioning.ini');echo $a['genomevip_version_server']?></p><p>Copyright &#169; 2014-2017. All rights reserved.</p></td>
+      <td><img title="The McDonnell Genome Institute" src="image/mgi_logo.1.png" alt="The Genome Institute"></td>
       <td><img title="Washington University School of Medicine"  src="image/Washington_University_Medical_School_Logo.rev.png" alt="Washington University School of Medicine"></td>
     </tr>
   </table>

public_html/parse_real.php

@@ -5186,7 +5186,7 @@ function write_wait_func($fp) {
   check_aws_shell($fp);
 
   fwrite($fp, "#\n");
-  fwrite($fp, "# GenomeVIP version $gvip_version\n");
+  fwrite($fp, "# GenomeVIP server version $genomevip_version_server\n");
   fwrite($fp, "# Script created ".date(DATE_ISO8601)."\n");
   fwrite($fp, "#\n");
 

public_html/pprofile.php

@@ -27,7 +27,7 @@ function pprofile_verify_rel_homedir( &$p ) {
 $prefix="genomevip";
 array_push($pp, "[ $prefix ]\n");
 array_push($pp, "$prefix.created = ".date(DATE_ISO8601)."\n");
-array_push($pp, "$prefix.version = $gvip_version\n");
+array_push($pp, "$prefix.version.server = $genomevip_version_server\n");
 array_push($pp, "\n");
 
 if( isset($_POST['compute_target']) || array_key_exists('compute_target', $_POST) ){

public_html/versioning.ini

@@ -0,0 +1,2 @@
+genomevip_version_server = 1.2.1
+genomevip_imageID = ami-06b4af11

public_html/versions.php

@@ -9,8 +9,9 @@
 error_reporting(E_ALL & ~E_DEPRECATED);
 
 // GenomeVIP versioning
-$gvip_version      = "1.2-dev";
-$genomevip_imageID = "ami-05f5b16f";
+$ini = parse_ini_file('versioning.ini',true);
+$genomevip_version_server = $ini['genomevip_version_server'];
+$genomevip_imageID        = $ini['genomevip_imageID'];
 
 // Tool versioning
 $vs_ver_map = array(