<commit_before><?php
#
# EMULAB-COPYRIGHT
# Copyright (c) 2000-2006 University of Utah and the Flux Group.
# All rights reserved.
#
# Stuff for OSIDs. All this stuff should come from the DB instead!
#

# List of allowed OS types for creating OSIDs. The value is a user-okay flag.
$osid_oslist			= array();
$osid_oslist["Linux"]		= 1;
$osid_oslist["Fedora"]		= 1;
$osid_oslist["FreeBSD"]		= 1;
$osid_oslist["NetBSD"]		= 1;
$osid_oslist["Windows"]		= 1;
$osid_oslist["TinyOS"]		= 1;
$osid_oslist["Oskit"]		= 0;
$osid_oslist["Other"]		= 1;

# List of allowed OS features. The value is a user-okay flag.
$osid_featurelist		= array();
$osid_featurelist["ping"]	= 1;
$osid_featurelist["ssh"]	= 1;
$osid_featurelist["ipod"]	= 1;
$osid_featurelist["isup"]	= 1;
$osid_featurelist["veths"]	= 0;
$osid_featurelist["mlinks"]	= 0;
$osid_featurelist["linktest"]	= 1;

# Default op modes. The value is a user-okay flag.
$osid_opmodes			= array();
$osid_opmodes["NORMALv2"]	= 1;
$osid_opmodes["NORMALv1"]	= 0;
$osid_opmodes["MINIMAL"]	= 1;
$osid_opmodes["NORMAL"]		= 1;
$osid_opmodes["ALWAYSUP"]	= 1;

define("TBDB_DEFAULT_OSID_OPMODE",	"NORMALv2");
define("TBDB_MINIMAL_OPMODE",		"MINIMAL");
define("TBDB_ALWAYSUP_OPMODE",		"ALWAYSUP");

# Default OSID boot wait timeouts. User is not allowed to edit this.
$osid_reboot_waitlist			= array();
$osid_reboot_waitlist["Linux"]		= 120;
$osid_reboot_waitlist["Fedora"]		= 120;
$osid_reboot_waitlist["FreeBSD"]	= 120;
$osid_reboot_waitlist["NetBSD"]		= 120;
$osid_reboot_waitlist["Windows"]	= 240;
$osid_reboot_waitlist["TinyOS"]		= 60;
$osid_reboot_waitlist["Oskit"]		= 60;
$osid_reboot_waitlist["Other"]		= 60;

#
# Helper function to write out a menu.
#
function WRITEOSIDMENU($caption, $value, $osid_result, $previous)
{
    echo "<tr>
            <td>*$caption:</td>";
    echo "  <td><select name=\"$value\">
                <option value=X>Please Select </option>\n";

    mysql_data_seek($osid_result, 0);

    while ($row = mysql_fetch_array($osid_result)) {
	$osid   = $row[osid];
	$osname = $row[osname];
	$pid    = $row[pid];
	$selected = "";

	if (strcmp($previous, "$osid") == 0)
	    $selected = "selected";

	echo "<option $selected value='$osid'>$pid - $osname</option>\n";
    }
    $selected = "";
    if (!isset($previous) || $previous == "none" || $previous == "")
	$selected = "selected";
	
    echo "         <option $selected value=none>No OS</option>\n";
    echo "       </select>";
    echo "    </td>
          </tr>\n";
}

function WRITEIMAGEIDMENU($caption, $value, $imageid_result, $previous)
{
    echo "<tr>
            <td>*$caption:</td>";
    echo "  <td><select name=\"$value\">
                <option value=X>Please Select </option>\n";

    mysql_data_seek($imageid_result, 0);

    while ($row = mysql_fetch_array($imageid_result)) {
	$imageid   = $row[imageid];
	$imagename = $row[imagename];
	$pid       = $row[pid];
	$selected  = "";

	if (strcmp($previous, "$imageid") == 0)
	    $selected = "selected";

	echo "<option $selected value='$imageid'>$pid - $imagename</option>\n";
    }
    $selected = "";
    if (!isset($previous) || $previous == "none" || $previous == "")
	$selected = "selected";
	
    echo "         <option $selected value=none>No ImageID</option>\n";
    echo "       </select>";
    echo "    </td>
          </tr>\n";
}

<commit_msg>Add linkdelays osfeature to list.<commit_after><?php
#
# EMULAB-COPYRIGHT
# Copyright (c) 2000-2006 University of Utah and the Flux Group.
# All rights reserved.
#
# Stuff for OSIDs. All this stuff should come from the DB instead!
#

# List of allowed OS types for creating OSIDs. The value is a user-okay flag.
$osid_oslist			= array();
$osid_oslist["Linux"]		= 1;
$osid_oslist["Fedora"]		= 1;
$osid_oslist["FreeBSD"]		= 1;
$osid_oslist["NetBSD"]		= 1;
$osid_oslist["Windows"]		= 1;
$osid_oslist["TinyOS"]		= 1;
$osid_oslist["Oskit"]		= 0;
$osid_oslist["Other"]		= 1;

# List of allowed OS features. The value is a user-okay flag.
$osid_featurelist		= array();
$osid_featurelist["ping"]	= 1;
$osid_featurelist["ssh"]	= 1;
$osid_featurelist["ipod"]	= 1;
$osid_featurelist["isup"]	= 1;
$osid_featurelist["veths"]	= 0;
$osid_featurelist["mlinks"]	= 0;
$osid_featurelist["linktest"]	= 1;
$osid_featurelist["linkdelays"]	= 0;

# Default op modes. The value is a user-okay flag.
$osid_opmodes			= array();
$osid_opmodes["NORMALv2"]	= 1;
$osid_opmodes["NORMALv1"]	= 0;
$osid_opmodes["MINIMAL"]	= 1;
$osid_opmodes["NORMAL"]		= 1;
$osid_opmodes["ALWAYSUP"]	= 1;

define("TBDB_DEFAULT_OSID_OPMODE",	"NORMALv2");
define("TBDB_MINIMAL_OPMODE",		"MINIMAL");
define("TBDB_ALWAYSUP_OPMODE",		"ALWAYSUP");

# Default OSID boot wait timeouts. User is not allowed to edit this.
$osid_reboot_waitlist			= array();
$osid_reboot_waitlist["Linux"]		= 120;
$osid_reboot_waitlist["Fedora"]		= 120;
$osid_reboot_waitlist["FreeBSD"]	= 120;
$osid_reboot_waitlist["NetBSD"]		= 120;
$osid_reboot_waitlist["Windows"]	= 240;
$osid_reboot_waitlist["TinyOS"]		= 60;
$osid_reboot_waitlist["Oskit"]		= 60;
$osid_reboot_waitlist["Other"]		= 60;

#
# Helper function to write out a menu.
#
function WRITEOSIDMENU($caption, $value, $osid_result, $previous)
{
    echo "<tr>
            <td>*$caption:</td>";
    echo "  <td><select name=\"$value\">
                <option value=X>Please Select </option>\n";

    mysql_data_seek($osid_result, 0);

    while ($row = mysql_fetch_array($osid_result)) {
	$osid   = $row[osid];
	$osname = $row[osname];
	$pid    = $row[pid];
	$selected = "";

	if (strcmp($previous, "$osid") == 0)
	    $selected = "selected";

	echo "<option $selected value='$osid'>$pid - $osname</option>\n";
    }
    $selected = "";
    if (!isset($previous) || $previous == "none" || $previous == "")
	$selected = "selected";
	
    echo "         <option $selected value=none>No OS</option>\n";
    echo "       </select>";
    echo "    </td>
          </tr>\n";
}

function WRITEIMAGEIDMENU($caption, $value, $imageid_result, $previous)
{
    echo "<tr>
            <td>*$caption:</td>";
    echo "  <td><select name=\"$value\">
                <option value=X>Please Select </option>\n";

    mysql_data_seek($imageid_result, 0);

    while ($row = mysql_fetch_array($imageid_result)) {
	$imageid   = $row[imageid];
	$imagename = $row[imagename];
	$pid       = $row[pid];
	$selected  = "";

	if (strcmp($previous, "$imageid") == 0)
	    $selected = "selected";

	echo "<option $selected value='$imageid'>$pid - $imagename</option>\n";
    }
    $selected = "";
    if (!isset($previous) || $previous == "none" || $previous == "")
	$selected = "selected";
	
    echo "         <option $selected value=none>No ImageID</option>\n";
    echo "       </select>";
    echo "    </td>
          </tr>\n";
}


{'fraction_non_alphanumeric': 0.18615040953090098, 'fraction_numerical': 0.016827997021593447, 'mean_word_length': 3.9273661041819516, 'pattern_counts': {'":': 0, '<': 61, '<?xml version=': 0, '>': 59, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1155523', 'n_tokens_mistral': 2779, 'n_tokens_neox': 2616, 'n_words': 530}