From 5bc14716d26c9264085ae010a60db6a6357a3073 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Wed, 3 Jun 2009 09:06:39 +0000
Subject: [PATCH] plc_is_user needed by planetlab.module

---
 planetlab/includes/plc_functions.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/planetlab/includes/plc_functions.php b/planetlab/includes/plc_functions.php
index 83a764b..b0ec60c 100644
--- a/planetlab/includes/plc_functions.php
+++ b/planetlab/includes/plc_functions.php
@@ -19,6 +19,10 @@ function plc_is_pi () {
   global $plc;
   return in_array( 20, $plc->person['role_ids']);
 }
+function plc_is_user () {
+  global $plc;
+  return in_array( 30, $plc->person['role_ids']);
+}
 function plc_is_tech () {
   global $plc;
   return in_array( 40, $plc->person['role_ids']);
-- 
2.47.0