Check if key exists before querying API for ssh keys.
authorFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Thu, 15 Mar 2007 21:05:07 +0000 (21:05 +0000)
committerFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Thu, 15 Mar 2007 21:05:07 +0000 (21:05 +0000)
keys.php

index 542e2b0..5e56a32 100755 (executable)
--- a/keys.php
+++ b/keys.php
@@ -67,9 +67,10 @@ if (isset($_REQUEST['root'])) {
 if (!empty($persons)) {
   $key_ids = array();
   foreach ($persons as $person) {
-    $key_ids[] = $person['key_ids'][0];
+       if ($person['key_ids']) {
+      $key_ids[] = $person['key_ids'][0];
+       }
   }
-
   if (!empty($key_ids)) {
     $keys = $adm->GetKeys($key_ids);
   }