$root = join(DIRECTORY_SEPARATOR, array($_SERVER['DOCUMENT_ROOT'], ".."));
$propel_root = join(DIRECTORY_SEPARATOR, array($root, "propel"));
$lib_root = join(DIRECTORY_SEPARATOR, array($root, "lib"));
$root = join(DIRECTORY_SEPARATOR, array($_SERVER['DOCUMENT_ROOT'], ".."));
$propel_root = join(DIRECTORY_SEPARATOR, array($root, "propel"));
$lib_root = join(DIRECTORY_SEPARATOR, array($root, "lib"));