fix undefined variable when run from command line / cli

git-svn-id: http://mantisbt.svn.sourceforge.net/svnroot/mantisbt/branches/BRANCH_1_1_0@5699 f5dc347c-c33d-0410-90a0-b07cc1902cb9
mantisbt · Oct 20, 2008 · 1207876 · 1207876
1 parent 9f2d70f
commit 1207876
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core.php b/core.php
@@ -145,7 +145,7 @@ function microtime_float() {
 	require_once( $t_core_path.'database_api.php' );
 
 	# Basic browser detection
-	$t_user_agent = $_SERVER['HTTP_USER_AGENT'];
+	$t_user_agent = isset($_SERVER['HTTP_USER_AGENT']) ? $_SERVER['HTTP_USER_AGENT'] : 'none';
 
 	$t_browser_name = 'Normal';
 	if ( strpos( $t_user_agent, 'MSIE' ) ) {