Add disabled flag to profile (versions). Code to follow.

sql/database-create.sql

@@ -275,6 +275,7 @@ CREATE TABLE `apt_profile_versions` (
   `created` datetime default NULL,
   `published` datetime default NULL,
   `deleted` datetime default NULL,
+  `disabled` tinyint(1) NOT NULL default '0',
   `uuid` varchar(40) NOT NULL,
   `parent_profileid` int(8) unsigned default NULL,
   `parent_version` int(8) unsigned default NULL,
@@ -303,6 +304,7 @@ CREATE TABLE `apt_profiles` (
   `shared` tinyint(1) NOT NULL default '0',
   `listed` tinyint(1) NOT NULL default '0',
   `topdog` tinyint(1) NOT NULL default '0',
+  `disabled` tinyint(1) NOT NULL default '0',
   `locked` datetime default NULL,
   `locker_pid` int(11) default '0',
   PRIMARY KEY (`profileid`),

www/aptui/instance_defs.php

@@ -367,7 +367,7 @@ class Instance
                           'Emulab'  =>
                           "urn:publicid:IDN+emulab.net+authority+cm"
           );
-          if (ISADMIN()) {
+          if (ISADMIN() || ISFOREIGN_ADMIN()) {
               $am_array["iMinds Virt Wall 2"] =
                   "urn:publicid:IDN+wall2.ilabt.iminds.be+authority+cm";
               $am_array["UKY Emulab"] =