// ---------------- authentication / passwords and keys stuff ----------------
function isAuth()
{
- @session_start();
+ // do not start a session if we are using http auth...
+ if (empty($_SERVER['PHP_AUTH_USER'])) {
+ @session_start();
+ }
$ff= HTML_FlexyFramework::get();