From bde7203314a5b4b8fa4e873e6a91bc4cad884fef Mon Sep 17 00:00:00 2001 From: zone Date: Wed, 27 Jun 2001 07:16:06 +0000 Subject: [PATCH] Updated to SEP --- filemanager/inc/main.inc.php | 2 +- filemanager/test.php | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/filemanager/inc/main.inc.php b/filemanager/inc/main.inc.php index 5e9326a96f..e6b6606af7 100755 --- a/filemanager/inc/main.inc.php +++ b/filemanager/inc/main.inc.php @@ -3,7 +3,7 @@ ### Start Configuration Options ### ### These are automatically set in phpGW - do not edit ### -$sep = $phpgw_info["server"]["dir_separator"]; +$sep = SEP; $rootdir = $phpgw->vfs->basedir; $fakebase = $phpgw->vfs->fakebase; $hostname = $phpgw_info["server"]["webserver_url"] . $filesdir; diff --git a/filemanager/test.php b/filemanager/test.php index df3ab6ba7b..dfc1d92f6b 100644 --- a/filemanager/test.php +++ b/filemanager/test.php @@ -16,7 +16,7 @@ html_break (1); html_text_italic (PHP_OS . " - " . $phpgw_info["server"]["db_type"] . " - " . PHP_VERSION . " - " . $phpgw->vfs->basedir); html_break (1); -$sep = $phpgw_info["server"]["dir_separator"]; +$sep = SEP; $user = $phpgw->vfs->working_lid; $homedir = $phpgw->vfs->fakebase . "/" . $user; $realhomedir = preg_replace ("|/|", $sep, $homedir);