diff options
author | Ermal Luçi <eri@pfsense.org> | 2010-02-01 18:23:54 +0000 |
---|---|---|
committer | Ermal Luçi <eri@pfsense.org> | 2010-02-01 18:23:54 +0000 |
commit | ab94ba001994625d6fe0a249361f5feeca5523c2 (patch) | |
tree | b3c583a1787eebff061c71327159139e96dab4d1 /etc/inc/util.inc | |
parent | ed6b04d865c2a53ec04b70769c10b90ff0326c26 (diff) | |
download | pfsense-ab94ba001994625d6fe0a249361f5feeca5523c2.zip pfsense-ab94ba001994625d6fe0a249361f5feeca5523c2.tar.gz |
Ticket #309. Correctly fix the problems of intermediate config lost because of inclusion of config.inc. This might have speed impacts to be measured.
Diffstat (limited to 'etc/inc/util.inc')
-rw-r--r-- | etc/inc/util.inc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/etc/inc/util.inc b/etc/inc/util.inc index 10b9366..559a3bc 100644 --- a/etc/inc/util.inc +++ b/etc/inc/util.inc @@ -1138,4 +1138,12 @@ function is_URL($url) { return false; } +function is_file_included($file = "") { + $files = get_included_files(); + if (in_array($file, $files)) + return true; + + return false; +} + ?> |