Bug fix from John Hickey; do not display planetlab options when

PLABSUPPORT=0.

www/defs.php3.in

 <?php
 #
 # EMULAB-COPYRIGHT
-# Copyright (c) 2000-2007 University of Utah and the Flux Group.
+# Copyright (c) 2000-2008 University of Utah and the Flux Group.
 # All rights reserved.
 #
 # Lets emulate register_globals=off for a while.
@@ -24,6 +24,7 @@ $TBDOCBASE	= "@TBDOCBASE@";
 $TBWWW		= "@TBWWW@";
 $THISHOMEBASE	= "@THISHOMEBASE@";
 $ELABINELAB     = @ELABINELAB@;
+$PLABSUPPORT    = @PLABSUPPORT@;
 $WIKISUPPORT    = @WIKISUPPORT@;
 $TRACSUPPORT    = @TRACSUPPORT@;
 $BUGDBSUPPORT   = @BUGDBSUPPORT@;

www/menu.php3

@@ -297,7 +297,7 @@ function WRITESIDEBAR() {
     global $CHECKLOGIN_WIKINAME;
     global $THISHOMEBASE;
     global $EXPOSETEMPLATES;
-    global $currentusage, $FANCYBANNER, $ELABINELAB;
+    global $currentusage, $FANCYBANNER, $ELABINELAB, $PLABSUPPORT;
     $firstinitstate = TBGetFirstInitState();
 
     #
@@ -587,10 +587,12 @@ function WRITESIDEBAR() {
 		    NavMenuButton("Create a Template",
 				  "$TBBASE/template_create.php");
 		}
-	
-		# Put _NEW back when Plab is working again.
-		NavMenuButton("Create a PlanetLab Slice",
-			      "$TBBASE/plab_ez.php3");
+
+		if ($PLABSUPPORT) {
+                    # Put _NEW back when Plab is working again.
+		    NavMenuButton("Create a PlanetLab Slice",
+				  "$TBBASE/plab_ez.php3");
+		}
 
 		NavMenuButton("Experiment List", "$TBBASE/showexp_list.php3");