Index: trunk/core/kernel/startup.php
===================================================================
diff -u -N -r5206 -r5219
--- trunk/core/kernel/startup.php	(.../startup.php)	(revision 5206)
+++ trunk/core/kernel/startup.php	(.../startup.php)	(revision 5219)
@@ -1,9 +1,17 @@
 <?php
 
 	define('KERNEL_PATH', FULL_PATH.'/kernel/kernel4');
-//	$globals_start = getmicrotime(); // because error on relation selector
+
+	if (!function_exists('getmicrotime')) {
+		function getmicrotime()
+		{
+	    list($usec, $sec) = explode(" ", microtime());
+	    return ((float)$usec + (float)$sec);
+		}
+	}
+	$globals_start = getmicrotime();
 	include_once(KERNEL_PATH.'/globals.php');	// non OOP functions used through kernel, e.g. print_pre
-//	$globals_end = getmicrotime();
+	$globals_end = getmicrotime();
 
 	define('INPORTAL_ENV', 1);
 
@@ -22,7 +30,7 @@
 
 	$vars = parse_portal_ini(FULL_PATH.'/config.php');
 
-	if ($vars === false) {
+	if ($vars === false || count($vars) == 0) {
 		global $rootURL;
 		echo 'In-Portal is probably not installed, or configuration file is missing.<br>';
 		echo 'Please use the installation script to fix the problem.<br><br>';