tweaks label for pending sites, as they might be disabled too
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 24 May 2011 13:36:17 +0000 (15:36 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 24 May 2011 13:36:17 +0000 (15:36 +0200)
planetlab/persons/register.php

index 6232f77..b0dc35e 100644 (file)
@@ -246,7 +246,7 @@ function site_option($site) {
   $option .= htmlspecialchars($site['name']);
   # Safari/IE do not implement disabled correctly
   if ( ! $site['enabled'] )
-    $option .= " (pending registration)";
+    $option .= " (disabled, or pending registration)";
   $option .= "</option>";
   return $option;
 }