michael@157: <?php
michael@157: 
michael@159: // Go to the login page.
michael@159: // This presumes SM is already
michael@159: // configured (no check anymore.)
michael@157: header('Location: src/login.php');
michael@157: 
michael@157: ?>
michael@157: