A RaspberryPi Gertboard GPIO Server based on CherryPy, ws4py, WiringPi2, and WiringPi2-python using websockets