This issue resolved itself.
I set up a circuit with just one LED light (i.e. like this but simpler). DeviceWrite works perfectly, which I know thanks to the LED light. However, every time I try to use DeviceRead it turns the GPIO pin off. It does return "1" before it turns it off, but subsequent calls to DeviceRead will say "0". What could be the matter?
