Added server.sh script

tbrehm

2007-10-17 fffd4d03af435ec40d3e7f51f1b8a716d7d1c7e8

 install/lib/install.lib.php

@@ -56,9 +56,22 @@

$FILE = realpath('../install.php');

//** Get distribution identifier
function get_distname() {
   global $conf; // TODO wtf ?
   $distname = $conf['distname'];
	
   //** Debian
   if(file_exists('/etc/debian_version')) {
	
      if(trim(file_get_contents('/etc/debian_version')) == '4.0') {
         $distname = 'debian40';
      }
   }
	
   //** Redhat
   elseif(file_exists("/etc/redhat_release")) {
	
   }
	
   return $distname;
}

@@ -78,8 +91,7 @@
}

function ilog($msg){
   $logfile = '/var/log/ispconfig_install.log';
     exec("echo `date` \"- [ISPConfig] - \"".$msg." >> ".$logfile);
     exec("echo `date` \"- [ISPConfig] - \"".$msg." >> ".ISPC_LOG_FILE);
}

function error($msg){