Fix for lead loader bug, options

git-svn-id: svn://192.168.202.10@3097 3d104415-ff17-0410-8863-d5cf3c621b8a
2019-05-10 02:55:57 +00:00
parent d81b14c4dc
commit c25b975c5e
1 changed files with 4 additions and 1 deletions
@@ -86,7 +86,10 @@ require("functions.php");

 $enable_status_mismatch_leadloader_option=0;

-require("options.php");
+if (file_exists('options.php'))
+	{
+	require('options.php');
+	}

 $US='_';
 $MT[0]='';