From 562ba3585a91a1b6b65c31fdb0f5ac14d44a7198 Mon Sep 17 00:00:00 2001
From: "green-ponies (jgen)" <jgen.tech@gmail.com>
Date: Wed, 8 Feb 2012 23:32:22 -0500
Subject: [PATCH] Should this be a global?

---
 contrib/pools/main.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/contrib/pools/main.php b/contrib/pools/main.php
index b7688a50..dd562548 100644
--- a/contrib/pools/main.php
+++ b/contrib/pools/main.php
@@ -276,6 +276,7 @@ class Pools extends Extension {
 	
 	/**
 	 * Check if the given user has permission to edit/change the pool.
+	 * TODO: Should the user variable be global?
 	 * @retval bool
 	 */
 	private function have_permission($user, $pool) {