From 75319539bcac22d71324c0e007b13437b313b080 Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Tue, 23 Jun 2015 11:12:02 +0200 Subject: [PATCH] offer the option to set node in 'upgrade' boot_mode --- planetlab/nodes/node.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/planetlab/nodes/node.php b/planetlab/nodes/node.php index f457121..220f508 100644 --- a/planetlab/nodes/node.php +++ b/planetlab/nodes/node.php @@ -312,7 +312,8 @@ if ( ! ($local_peer && $privileges)) { "action"=>"node-boot-state")); $boot_value .= $boot_form->start_html(); $states = array( 'boot'=>'Boot', 'safeboot'=>'SafeBoot', - 'disabled' => 'Disabled', 'reinstall'=>'Reinstall'); + 'disabled' => 'Disabled', 'reinstall'=>'Reinstall', + 'upgrade' => 'Upgrade'); $selectors=array(); foreach ($states as $dbname=>$displayname) { $selector=array("display"=>$displayname, "value"=>$dbname); -- 2.43.0