PHP user_ini_space_path Examples

Example #1

File: loader-wizard.php Project: juliushermosura/globeloop

function loader_upgrade_instructions($installed_version, $newer_version)
{
    if ($newer_version) {
        echo '<div class="panel">';
        echo '<h4>Loader Upgrade Instructions</h4>';
        $restart_needed = true;
        $server_type = find_server_type();
        if ($server_type == SERVER_SHARED || $server_type == SERVER_UNKNOWN) {
            $loader_path = find_loader(true);
            if (!is_string($loader_path) || false === user_ini_space_path($loader_path)) {
                $verb_case = $server_type == SERVER_UNKNOWN ? "may" : "will";
                echo "<p>Please note that you {$verb_case} need your system administrator to do the following to upgrade. The web server will need to be restarted after the loader file is changed.</p>";
            }
            $restart_needed = false;
        }
        if (is_string($newer_version)) {
            $version_str = "version {$newer_version}";
        } else {
            $version_str = "a newer version";
        }
        $loader_name = get_loader_name();
        echo "<p>To upgrade from version {$installed_version} to {$version_str} of the ionCube Loader, please replace your existing loader file, {$loader_name}, with\r\n            the file of the same name from one of the following packages:</p>";
        if (is_ms_windows()) {
            $basename = windows_package_name();
        } else {
            list($basename, $multiple_os_versions) = unix_package_name();
        }
        echo make_archive_list($basename, array('zip', 'tar.gz'));
        if ($restart_needed) {
            echo "<p>Once you have replaced the loader file please restart your web server.</p>";
        }
        echo '</div>';
    }
}

Example #2

File: ioncube.php Project: caiwenhao/zentao

function loader_upgrade_instructions($installed_version, $newer_version)
{
    if ($newer_version) {
        echo '<div class="panel">';
        echo '<h4>Loader升级说明</h4>';
        $restart_needed = true;
        $server_type = find_server_type();
        if ($server_type == SERVER_SHARED || $server_type == SERVER_UNKNOWN) {
            $loader_path = find_loader(true);
            if (!is_string($loader_path) || false === user_ini_space_path($loader_path)) {
                $verb_case = $server_type == SERVER_UNKNOWN ? "may" : "will";
                echo "<p>注意：你可能需要管理员权限进行升级。升级完成后服务器需要重启。</p>";
            }
            $restart_needed = false;
        }
        if (is_string($newer_version)) {
            $version_str = "version {$newer_version}";
        } else {
            $version_str = "a newer version";
        }
        $loader_name = get_loader_name();
        echo "<p>为了从{$installed_version} 升级到 {$version_str，请将下面安装包的}{$loader_name替换掉已经存在的同名文件：}</p>";
        if (is_ms_windows()) {
            $basename = windows_package_name();
        } else {
            list($basename, $multiple_os_versions) = unix_package_name();
        }
        echo make_archive_list($basename, array('zip', 'tar.gz'));
        if ($restart_needed) {
            echo "<p>替换掉loader文件后，请重启服务器。</p>";
        }
        echo '</div>';
    }
}