/dev/null`; echo "gpg says\n".htmlspecialchars($gpg); foreach (explode("\n", $gpg) as $line) { $bits = explode(":", $line); if ($bits[0] != "pub" && $bits[0] != "uid") { continue; } if($bits[0] == "pub") { echo "KeyID: ".$bits[4]."\n"; echo "update gpg set keyid='$bits[4]' where id=$row[id]\n"; echo "laenge: ".strlen($bits[4])."\n"; if($row[id]>=1 && $row[id]<=100000 && strlen($bits[4])==16) { mysql_query("update gpg set keyid='$bits[4]' where id=$row[id]\n"); } } $match = false; $problem = ""; $uid = " ".preg_replace('~\\\\x([0-9a-f])([0-9a-f])~ei', 'chr(hexdec("\\1\\2"))', $bits[9]); print "UID: $uid\n"; } } echo "Done\n"; mysql_free_result($res); ?>