45 lines
		
	
	
		
			695 B
		
	
	
	
		
			PHP
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			45 lines
		
	
	
		
			695 B
		
	
	
	
		
			PHP
		
	
	
		
			Executable File
		
	
	
	
	
<?php
 | 
						|
 | 
						|
	
 | 
						|
 | 
						|
	function sess_setup() {
 | 
						|
		if (SESSION_PATH != '')
 | 
						|
			session_save_path(SESSION_PATH);
 | 
						|
		
 | 
						|
		session_name(SESS_COOKIE);
 | 
						|
		
 | 
						|
		session_start();
 | 
						|
		
 | 
						|
	}
 | 
						|
	
 | 
						|
	
 | 
						|
	function sess_add($key, $val) {
 | 
						|
		$_SESSION[$key] = $val;
 | 
						|
	}
 | 
						|
	
 | 
						|
	
 | 
						|
	function sess_remove($key) {
 | 
						|
		if (isset($_SESSION[$key])) {
 | 
						|
			$oldval=$_SESSION[$key];
 | 
						|
			unset($_SESSION[$key]);
 | 
						|
			return $oldval;
 | 
						|
		}
 | 
						|
	}
 | 
						|
	
 | 
						|
	function sess_get($key) {
 | 
						|
		 if (isset($_SESSION[$key]))
 | 
						|
			 return $_SESSION[$key];
 | 
						|
		 else return false;
 | 
						|
	}
 | 
						|
		
 | 
						|
	function sess_close() {
 | 
						|
		unset($_SESSION);
 | 
						|
		if (isset($_COOKIE[session_name()])) {
 | 
						|
			setcookie(session_name(), '', time()-42000, '/');
 | 
						|
			session_set_cookie_params(-42000);
 | 
						|
		}
 | 
						|
		session_destroy();
 | 
						|
	}
 | 
						|
 | 
						|
?>
 |