offer the option to set node in 'upgrade' boot_mode

diff --git a/planetlab/nodes/node.php b/planetlab/nodes/node.php
index f457121..220f508 100644 (file)
--- 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);