Se corrige un bug.

diff --git a/lib/general.php b/lib/general.php
index 057f02bdff54c8c1e76696a90b40e69cd8d3e5d1..305632ce50dfb7e57b9b159f40eb155f35ab217a 100644 (file)
--- a/lib/general.php
+++ b/lib/general.php
@@ -26,8 +26,8 @@
  * @param string $ip Include path a agregar antes del actual.
  */
 function prepend_include_path($ip) {
  * @param string $ip Include path a agregar antes del actual.
  */
 function prepend_include_path($ip) {

-    $old = ini_get('include_path');
-    ini_set('include_path', "$ip:$old");
+    $old = substr(ini_get('include_path'), 2);
+    ini_set('include_path', ".:$ip:$old");

 }
 
 ?>
 }
 
 ?>