From f5a29a12e2d440f1597ab980cf8b9efe8d9866d4 Mon Sep 17 00:00:00 2001
From: Andrew McMillan <andrew@morphoss.com>
Date: Fri, 12 Mar 2010 11:28:20 +1300
Subject: [PATCH] Add principal_id to PublicSession.

---
 inc/PublicSession.php | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/inc/PublicSession.php b/inc/PublicSession.php
index 1c700a6d..36bf6302 100644
--- a/inc/PublicSession.php
+++ b/inc/PublicSession.php
@@ -25,6 +25,12 @@ class PublicSession {
   */
   var $user_no;
 
+  /**
+  * Principal ID
+  * @var principal_id int
+  */
+  var $principal_id;
+
   /**
   * User e-mail
   * @var email string
@@ -51,6 +57,7 @@ class PublicSession {
     global $c;
 
     $this->user_no = -1;
+    $this->principal_id = -1;
     $this->email = null;
     $this->username = 'guest';
     $this->fullname = 'Anonymous';