Raspberry Pi RFID reading for Seeed Studio Mini 125Khz RFID module

rfid.py

# Raspberry Pi RFID reading for Seeed Studio Mini 125Khz RFID module
import serial, operator
rfid = serial.Serial("/dev/ttyAMA0")
rfid.baudrate = 9600
rfid.timeout = 2                # Need a timeout in case we read less than 5 bytes

def verify(data):
    """Check the validation bit (the last one) by XORing the first four bytes."""
    ints = map(ord, list(data))
    if (len(ints) != 5):
        return False
    return ints[-1] == reduce(operator.xor, ints[:-1])

def id(data):
    """Print out the hex string for some bytes. Don't include validation byte."""
    return "".join("{:02x}".format(ord(c)) for c in list(data)[:-1])

while True:
    data = rfid.read(5)
    if verify(data):
        print "Read ID: ", id(data)