3 // Require this file to require login to a page, e.g.
5 // require_once 'plc_login.php';
7 // Mark Huang <mlhuang@cs.princeton.edu>
8 // Copyright (C) 2006 The Trustees of Princeton University
13 require_once 'plc_session.php';
17 // Where they were trying to go
18 $url = $_SERVER['PHP_SELF'];
19 if (!empty($_SERVER['QUERY_STRING'])) {
20 $url .= "?" . $_SERVER['QUERY_STRING'];
23 Header("Location: /db/common/login.php?url=" . urlencode($url));