From a46afb8f828cb69a0e9bc16c872db93ca375ea0f Mon Sep 17 00:00:00 2001
From: mohrt <mohrt@localhost>
Date: Thu, 8 May 2003 14:21:13 +0000
Subject: [PATCH] fix directory separator code, use DIRECTORY_SEPARATOR

---
 libs/Config_File.class.php | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/libs/Config_File.class.php b/libs/Config_File.class.php
index 8a44f69c..7c53178b 100644
--- a/libs/Config_File.class.php
+++ b/libs/Config_File.class.php
@@ -73,7 +73,6 @@ class Config_File {
 	/** @access private */
 	var $_config_path	= "";
 	var $_config_data	= array();
-	var $_separator		= "";
     /**#@-*/
 
 	/**
@@ -83,11 +82,6 @@ class Config_File {
 	 */
 	function Config_File($config_path = NULL)
 	{
-		if (substr(PHP_OS, 0, 3) == "WIN" || substr(PHP_OS, 0, 4) == "OS/2")
-			$this->_separator = "\\";
-		else
-			$this->_separator = "/";
-
 		if (isset($config_path))
 			$this->set_path($config_path);
 	}
@@ -106,7 +100,7 @@ class Config_File {
 				return;
 			}
 
-			$this->_config_path = $config_path . $this->_separator;
+			$this->_config_path = $config_path . DIRECTORY_SEPARATOR;
 		}
 	}