From a3e797a6e8342844f459eb6d59ec08009cf6147e Mon Sep 17 00:00:00 2001
From: Miles Lott <milosch@alumni.egroupware.org>
Date: Wed, 13 Jun 2001 06:22:36 +0000
Subject: [PATCH] Change sep to SEP

---
 logout.php | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/logout.php b/logout.php
index 41f0c65d87..42c5c79cde 100755
--- a/logout.php
+++ b/logout.php
@@ -25,17 +25,17 @@
 
 	if ($phpgw->session->verify($sessionid))
 	{
-		if (file_exists($phpgw_info['server']['temp_dir'] . sep . $sessionid))
+		if (file_exists($phpgw_info['server']['temp_dir'] . SEP . $sessionid))
 		{
-			$dh = opendir($phpgw_info['server']['temp_dir'] . sep . $sessionid);
+			$dh = opendir($phpgw_info['server']['temp_dir'] . SEP . $sessionid);
 			while ($file = readdir($dh))
 			{
 				if ($file != '.' && $file != '..')
 				{
-					unlink($phpgw_info['server']['temp_dir'] . sep . $sessionid . sep . $file);
+					unlink($phpgw_info['server']['temp_dir'] . SEP . $sessionid . SEP . $file);
 				}
 			}
-			rmdir($phpgw_info['server']['temp_dir'] . sep . $sessionid);
+			rmdir($phpgw_info['server']['temp_dir'] . SEP . $sessionid);
 		}
 		$phpgw->common->hook('logout');
 		$phpgw->session->destroy();
@@ -45,4 +45,4 @@
 	Setcookie('domain');
 
 	$phpgw->redirect($phpgw_info['server']['webserver_url'].'/login.php?cd=1');
-?>
\ No newline at end of file
+?>