From 0a12fd75a9a341baa016f04d1a351a28d3ac7c46 Mon Sep 17 00:00:00 2001
From: "Leigh B. Stoller" <stoller@flux.utah.edu>
Date: Tue, 8 Jul 2003 17:53:07 +0000
Subject: [PATCH] Turn on ssh node option on main bed, when in admin mode.

---
 www/shownode.php3 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/www/shownode.php3 b/www/shownode.php3
index c12f12024..7e9e0a311 100644
--- a/www/shownode.php3
+++ b/www/shownode.php3
@@ -87,7 +87,8 @@ if (TBHasSerialConsole($node_id)) {
 #
 # SSH to option.
 # 
-if (! strcmp($OURDOMAIN, "mini.emulab.net") && isset($pid)) {
+if (isset($pid) &&
+    ($isadmin || !strcmp($OURDOMAIN, "mini.emulab.net"))) {
     WRITESUBMENUBUTTON("SSH to node</a> ".
 		       "<a href='docwrapper.php3?docname=ssh-mime.html'>".
 		       "(howto)", "nodessh.php3?node_id=$node_id");
-- 
GitLab