From ff9f6693c80b77de767cd8940ad29ea3fc785091 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 16 Jan 2009 06:29:51 +0000
Subject: [PATCH] merged changeset:11572 in trunk

---
 planetlab/nodes/index.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/planetlab/nodes/index.php b/planetlab/nodes/index.php
index 6f7effc..11b2636 100644
--- a/planetlab/nodes/index.php
+++ b/planetlab/nodes/index.php
@@ -120,7 +120,7 @@ else if( $_GET['slice_id'] ) {
 
   // Get slice infos
   $slice_info= $api->GetSlices( array( intval( $slice_id ) ), array( "name", "node_ids" ) );
-  drupal_set_title($slice_info[0]['name']."run on");
+  drupal_set_title("nodes where " . $slice_info[0]['name'] . " is running");
 
   // Get slice nodes
   $nodes= $api->GetNodes( array_merge(array('node_id'=>$slice_info[0]['node_ids']),$filter), $columns);
@@ -133,7 +133,7 @@ else if( $_GET['slice_id'] ) {
     sort_nodes( $nodes );	
 
     echo paginate( $nodes, "node_id", "Nodes", 25, "hostname");
-    echo "<br /><p><a href='/db/slices/index.php?id=".$slice_id.">Back to slice page</a></div>";
+    echo "<br /><p><a href='/db/slices/index.php?id=" . $slice_id . "'>Go to slice page</a></p>";
   }
   
  }
-- 
2.43.0