index 3cf75fd1f7a3715ae928bc1ff1f8c6ecbafced9d..0d543e689618ecda8c9549c41e1574e2696dbec5 100644 (file)
return (FALSE);
}
- public static function channel_exists($name)
- {
- return (isset($_SESSION[$name]));
- }
-
public static function is_set($name)
{
$channel= "";