Merge pull request #2465 from marcoAntonioNina/BUG-15167

BUG-15167 Error al momento de envio de triggers SOLVED
This commit is contained in:
julceslauhub
2014-06-20 11:14:55 -04:00

View File

@@ -1092,8 +1092,10 @@ class System
}
// Workspace environment configuration
if ($readWsIniFile && ($wsConf = @parse_ini_file( $wsIniFile )) !== false) {
$config = array_merge( $config, $wsConf );
if (file_exists($wsIniFile) ) {
if (($wsConf = @parse_ini_file($wsIniFile)) !== false) {
$config = array_merge($config, $wsConf);
}
}
// validation debug config, only binary value is valid; debug = 1, to enable