+function passwd($login,$pass)
+{
+ return md5(md5($pass).$login);
+}
+
+function format_ajax($data)
+{
+ header('Content-type: application/json; charset=UTF-8');
+ echo json_encode($data);
+ exit;
+}
+
+function check_permissions($name)
+{
+ $sql = sprintf("SELECT count(*) AS count FROM sys_mask "
+ . "JOIN sys_menu ON sys_mask.menu = sys_menu.id "
+ . "JOIN sys_group_mask ON sys_mask.id = sys_group_mask.mask "
+ . "WHERE sys_group_mask.gid = %d AND fname = '%s'",
+ $_SESSION['sys']['group'], pg_escape_string($name));
+
+ $sth = pg_query($sql);
+
+ if ($sth === false) return false;
+
+ $row = pg_fetch_assoc($sth);
+ if ($row === false) return false;
+
+ if ($row['count'] == 0)
+ return false;
+
+ return true;
+}
+
+function check_session()
+{
+ if (!empty($_SESSION['sys']['login']) && !empty($_GET['logout'])) {
+ session_destroy();
+ header('Location: ./?login=true');
+ exit();
+ }
+
+ if (substr($_SERVER["SCRIPT_FILENAME"],-10) == '/index.php' &&
+ !empty($_POST['login']) && !empty($_POST['passwd'])) {
+ require_once('lib/login.php');
+ if (check_passwd()) {
+ header('Location: ./');
+ exit();
+ }
+ }
+
+ if (empty($_SESSION['sys']['login']) && empty($_GET['login'])) {
+ header('Location: ./?login=true');
+ exit();
+ }
+
+ /* regular mask */
+ if (!empty($_GET['mask'])) {
+ if (check_permissions($_GET['mask']))
+ return true;
+ else {
+ header('Location: ./');
+ exit();
+ }
+ }
+
+ /* table data */
+ if (substr($_SERVER["SCRIPT_FILENAME"],-17) == '/ricoXMLquery.php' &&
+ !empty($_GET['id']) && substr($_GET['id'],0,5) == 'grid_') {
+ if (check_permissions(substr($_GET['id'],5)))
+ return true;
+ else
+ format_ajax(array('error' => 'No permission to access data'));
+ }
+
+ /* table connections */
+ if (substr($_SERVER["SCRIPT_FILENAME"],-25) == '/ricoUpdateConnection.php' &&
+ !empty($_GET['id']) && substr($_GET['id'],0,5) == 'grid_') {
+ if (check_permissions(substr($_GET['id'],5)))
+ return true;
+ else
+ format_ajax(array('error' => 'No permission to access data'));
+ }
+
+ /* ajax calls */
+ if (substr($_SERVER["SCRIPT_FILENAME"],-9) == '/ajax.php' &&
+ !empty($_POST['source'])) {
+ if (check_permissions($_POST['source']))
+ return true;
+ else
+ format_ajax(array('error' => 'No permission to access data'));
+ }
+
+}
+