Make read_user() non-blocking, and add select() call.
[people/xl0/gpxe.git] / VERSION
1 0.5.1 2007-03-02