diff options
author | admin <devnull@localhost> | 2006-10-17 05:40:51 +0200 |
---|---|---|
committer | admin <devnull@localhost> | 2006-10-17 05:40:51 +0200 |
commit | 81a3681c3988697eed7fa850970e78b4d5185c4e (patch) | |
tree | ae8eeb8ff1a250fd2d968265d6609d57444e54ba /system | |
parent | 94fe038a62c5d535920464266ae404b5e028f662 (diff) |
Diffstat (limited to 'system')
-rw-r--r-- | system/libraries/Loader.php | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/system/libraries/Loader.php b/system/libraries/Loader.php index bc2e9dec7..4252f1633 100644 --- a/system/libraries/Loader.php +++ b/system/libraries/Loader.php @@ -596,13 +596,10 @@ class CI_Loader { // If the PHP installation does not support short tags we'll // do a little string replacement, changing the short tags // to standard PHP echo statements. - if (ini_get("short_open_tag") == 0) - { - $file = file_get_contents($path); - $file = str_replace('<?=', '<?php echo ', $file); - $file = preg_replace("/;*\s*\?>/", ' ;?>', $file); - echo eval('?>'.$file.'<?php '); + if ((bool) @ini_get('short_open_tag') === FALSE) + { + echo eval('?>'.preg_replace("/;*\s*\?>/", "; ?>", str_replace('<?=', '<?php echo ', file_get_contents($path))).'<?php '); } else { |