Logout for Protected Directories

[wdriver]

Hi,
When someone is logged in to an area created by a Protected Directory the only way for them to logout is to close all browser windows.

Does anyone know the correct php code to use in conjunction with a logout button on the screen?

Thanks in advance for any help,
Wayne.