diff options
Diffstat (limited to 'etc/inc/util.inc')
| -rw-r--r-- | etc/inc/util.inc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/etc/inc/util.inc b/etc/inc/util.inc index 7737ad1..9d234a8 100644 --- a/etc/inc/util.inc +++ b/etc/inc/util.inc @@ -1815,4 +1815,13 @@ function array_exclude($needle, $haystack) { return $result; } +function setup_library_paths() { + $current_library_paths = explode(":", exec("/sbin/ldconfig -r | /usr/bin/grep 'search directories' | /usr/bin/awk '{print $3;}'")); + $pbi_library_paths = glob("/usr/pbi/*/lib"); + foreach ($pbi_library_paths as $pbilib) { + if (!in_array($pbilib, $current_library_paths)) + exec("/sbin/ldconfig -m {$pbilib}"); + } +} + ?> |
