Change sep to SEP

This commit is contained in:
Miles Lott 2001-06-13 06:22:36 +00:00
parent 60fbae908e
commit a3e797a6e8

View File

@ -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');
?>
?>