Add a menu item to download your ssl cert/key. The passphrase for

the key is the same as the web login password, for users whoe got
their accounts through the portal.

www/aptui/getcreds.php

+<?php
+#
+# Copyright (c) 2000-2015 University of Utah and the Flux Group.
+# 
+# {{{EMULAB-LICENSE
+# 
+# This file is part of the Emulab network testbed software.
+# 
+# This file is free software: you can redistribute it and/or modify it
+# under the terms of the GNU Affero General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or (at
+# your option) any later version.
+# 
+# This file is distributed in the hope that it will be useful, but WITHOUT
+# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+# FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Affero General Public
+# License for more details.
+# 
+# You should have received a copy of the GNU Affero General Public License
+# along with this file.  If not, see <http://www.gnu.org/licenses/>.
+# 
+# }}}
+#
+chdir("..");
+include("getsslcert.php3");
+?>

www/aptui/js/common.js

@@ -37,6 +37,16 @@ window.APT_OPTIONS.initialize = function (sup)
     var geniauth = "https://www.emulab.net/protogeni/speaks-for/geni-auth.js";
     var embedded = window.EMBEDDED;
 
+    // Eventually make this download without having to follow a link.
+    // Just need to figure out how to do that!
+    if ($('#download_creds_link').length) {
+	$('#download_creds_link').click(function(e) {
+	    e.preventDefault();
+	    window.location.href = 'getcreds.php';
+	    return false;
+	});
+    }
+
     // Every page calls this, and since the Login button is on every
     // page, do this initialization here. 
     if ($('#quickvm_geni_login_button').length) {

www/aptui/quickvm_sup.php

@@ -271,6 +271,7 @@ $PAGEHEADER_FUNCTION = function($thinheader = 0, $ignore1 = NULL,
                    <li><a href='instantiate.php'>Start Experiment</a></li>
                    <li class='divider'></li>
 	           <li><a href='ssh-keys.php'>Manage SSH Keys</a></li>
+                   <li><a href='getcreds.php'>Download Credentials</a></li>
 	           <li><a href='changepswd.php'>Change Password</a></li>
 	           <li><a href='logout.php'>Logout</a></li>";
 	if (ISADMIN() || STUDLY()) {