<? function ClrZoneSess ($lockedzone) { if (session_is_registered("zonelock")) { unlink("/tmp/$lockedzone".".zonelock"); session_unregister("zonelock"); } } ?>