X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=planetlab%2Fincludes%2Fplc_functions.php;h=678de2975cdadb4519d5fd3b01efb7a1bfc8784f;hb=1ce86fd37ce8da9b475847a59394c0241a8dbbff;hp=4befb9c8eae2ec08742b2c5e7c2f2526c18fe144;hpb=14623fa47b3316b7b05f4a92e10bac9122423ec2;p=plewww.git
diff --git a/planetlab/includes/plc_functions.php b/planetlab/includes/plc_functions.php
index 4befb9c..678de29 100644
--- a/planetlab/includes/plc_functions.php
+++ b/planetlab/includes/plc_functions.php
@@ -1,6 +1,7 @@
";
}
+function plc_debug_txt ($message,$txt) {
+ print "
" . $message . "
";
+ $txt=str_replace(" ","<SPC>",$txt);
+ $txt=str_replace("\t","<TAB>",$txt);
+ $txt=str_replace("\n","<LF>",$txt);
+ $txt=str_replace("\r","<CR>",$txt);
+ print $txt . "<EOF>";
+ print "";
+}
+
$plc_prof_start=0.;
$plc_prof_time=0.;
$plc_prof_counter=0;
@@ -497,6 +510,27 @@ function plc_redirect ($url) {
exit ();
}
+//////////////////// the options for an nodetype - suitable for plekit/form
+global $builtin_node_types;
+$builtin_node_types = array ( "regular" => "Regular/Shared",
+ "reservable" => "Reservable (requires to get leases)");
+function node_type_display ($api, $node_type) {
+ global $builtin_node_types;
+ $val=$builtin_node_types[$node_type];
+ if ( ! $val) $val="??undefined??";
+ return $val;
+}
+
+function node_type_selectors ($api,$node_type) {
+ global $builtin_node_types;
+ foreach ($builtin_node_types as $value=>$display) {
+ $selector=array('display'=>$display, 'value'=>$value);
+ if ($value == $node_type) $selector['selected']=true;
+ $selectors []= $selector;
+ }
+ return $selectors;
+}
+
//////////////////// the options for an interface - suitable for plekit/form
//>>> GetNetworkMethods()
//[u'static', u'dhcp', u'proxy', u'tap', u'ipmi', u'unknown']
@@ -542,7 +576,7 @@ function instantiation_label ($slice) {
//////////////////// toggle areas
// get_arg ('show_persons',false) returns $_GET['show_persons'] if set and false otherwise
-function get_arg ($name,$default,$method='get') {
+function get_arg ($name,$default=NULL,$method='get') {
if ($method == 'get') $var=$_GET; else $var=$_POST;
if (isset ($var[$name])) return $var[$name];
else return $default;