pool.php: fix

1 files changed, 1 insertions, 3 deletions

diff --git a/pool.php b/pool.php
index 6ea0e2a..ad8de29 100644
--- a/pool.php
+++ b/pool.php
@@ -31,14 +31,12 @@
 
     <?php
       $f = fopen("../sessions/sessions", "r");
-      $a = array();
       $b = array();
       $max = -1;
       while (($line = fgets($f)) !== false) {
         $x = explode("\t", $line, 2);
         $j = intval($x[0]);
-        $a[$x[1]] = $j;
-        $b[$j] = $x[1];
+        $b[$j] = trim($x[1]);
         if ($j>$max) {
           $max = $j;
         }