ui.tools.listener: fix stream-read-unsafe It was returning the number of requested bytes even if eof was encountered.
ui.tools.listener: fix stream-read-unsafe
It was returning the number of requested bytes even if eof was encountered.

sarvex/factor-lang,AlexIljin/factor,nicolas-p/factor,bjourne/factor,bpollack/factor,bjourne/factor,tgunr/factor,tgunr/factor,factor/factor,tgunr/factor,sarvex/factor-lang,mrjbq7/factor,dch/factor,bjourne/factor,factor/factor,slavapestov/factor,nicolas-p/factor,bpollack/factor,bpollack/factor,nicolas-p/factor,dch/factor,sarvex/factor-lang,bpollack/factor,mrjbq7/factor,AlexIljin/factor,slavapestov/factor,sarvex/factor-lang,slavapestov/factor,sarvex/factor-lang,slavapestov/factor,nicolas-p/factor,nicolas-p/factor,factor/factor,AlexIljin/factor,mrjbq7/factor,nicolas-p/factor,sarvex/factor-lang,bpollack/factor,AlexIljin/factor,slavapestov/factor,sarvex/factor-lang,factor/factor,dch/factor,AlexIljin/factor,dch/factor,bpollack/factor,mrjbq7/factor,nicolas-p/factor,mrjbq7/factor,bjourne/factor,dch/factor,tgunr/factor,bpollack/factor,AlexIljin/factor,dch/factor,mrjbq7/factor,bjourne/factor,factor/factor,bjourne/factor,AlexIljin/factor,tgunr/factor,factor/factor,tgunr/factor,bjourne/factor,slavapestov/factor,slavapestov/factor