Small brazilian portuguese language files update. br_database_list.lng

moglia

2010-05-13 0110094b2d206e88dceb0cfe2bc4c85f2e826dda

 install/lib/install.lib.php

@@ -56,6 +56,10 @@
$FILE = realpath('../install.php');

//** Get distribution identifier
//** IMPORTANT!
//   This is the same code as in /server/mods-available/monitor_core_module.inc.php
//   So if you change it here, you also have to change it in
//   /server/mods-available/monitor_core_module.inc.php!
function get_distname() {
   
   $distname = '';
@@ -72,12 +76,18 @@
         $distid = 'debian40';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian 4.0 or compatible\n");
      } elseif(strstr(trim(file_get_contents('/etc/debian_version')),'5.0') || trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
      } elseif(strstr(trim(file_get_contents('/etc/debian_version')),'5.0')) {
         $distname = 'Debian';
         $distver = 'Lenny/Sid';
         $distver = 'Lenny';
         $distid = 'debian40';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian Lenny/Sid or compatible\n");
         swriteln("Operating System: Debian Lenny or compatible\n");
      } elseif(strstr(trim(file_get_contents('/etc/debian_version')),'6.0') || trim(file_get_contents('/etc/debian_version')) == 'squeeze/sid') {
         $distname = 'Debian';
         $distver = 'Squeeze/Sid';
         $distid = 'debian40';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian Squeeze/Sid or compatible\n");
      }  else {
         $distname = 'Debian';
         $distver = 'Unknown';
@@ -159,7 +169,19 @@
         $distbaseid = 'fedora';
         swriteln("Operating System: Redhat or compatible, unknown version.\n");
      }
		
   }
	
   //** Gentoo
    elseif(file_exists("/etc/gentoo-release")) {
 		
       $content = file_get_contents('/etc/gentoo-release');
 
        preg_match_all('/([0-9]{1,2})/', $content, $version);
       $distname = 'Gentoo';
       $distver = $version[0][0].$version[0][1];
       $distid = 'gentoo';
       $distbaseid = 'gentoo';
       swriteln("Operating System: Gentoo $distver or compatible\n");
      
   } else {
      die('unrecognized linux distribution');
@@ -241,10 +263,14 @@

function rf($file){
   clearstatcache();
   if(!$fp = fopen ($file, 'rb')){
      ilog('WARNING: could not open file '.$file);
   if(is_file($file)) {
      if(!$fp = fopen ($file, 'rb')){
         ilog('WARNING: could not open file '.$file);
      }
      return filesize($file) > 0 ? fread($fp, filesize($file)) : '';
   } else {
      return '';
   }
   return filesize($file) > 0 ? fread($fp, filesize($file)) : '';
}

function wf($file, $content){